-
-
-
-
-
-
-
-
-
0.7.0 protected
bug fixes and (breaking) improvements to api + three values for Truth + Collection interface + improve TermParser api + ClauseDatabaseParser -> ClausesParser + MutableSolver interface
-
-
-
-
-
-
-
0.9.0 protected
+ collection framework for clauses + [BREAKING] ClauseDatabase renamed to Theory + fix #67 + close #77
-
-
-
0.10.2 protected
+ 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
-
0.10.2-dev01+fe9a9a41 protected