Skip to content
+ functor/3, =../2, current_op/3, op/3
+ fix parsing with dynamic operators
+ add operators table support in prolog solvers
+ domain errors
+ improve user-friendliness of repl