-
-
-
-
0.11.1 protected
+ thread safe caching in :unify + per-simple-name variable naming + improvements to :solve-streams
-
0.11.0 protected
- [BREAKING] new api for writing Prolog primitives (fixing #90) - improve management of side effects in resolution - add serialization modules for core and theory (closing #93) - add builtins retractall/1, append/3, ==/2, ==/2, @>/2, @>=/2, @</2, @<=/2 - many bugfixes (closing #88, #89, #92)
-
0.10.2-dev01+fe9a9a41 protected
-
0.10.2-dev08+d7439ce6 protected
-
0.10.2-dev0i+2301547c protected
-
0.10.2-dev0w+39307563 protected
-
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.9.0 protected
+ collection framework for clauses + [BREAKING] ClauseDatabase renamed to Theory + fix #67 + close #77
-
-
-
-
-
-
-
0.7.0 protected
bug fixes and (breaking) improvements to api + three values for Truth + Collection interface + improve TermParser api + ClauseDatabaseParser -> ClausesParser + MutableSolver interface