-
0.10.2-dev08+d7439ce6 protected
-
0.10.2-dev0i+2301547c protected
-
0.10.2-dev0w+39307563 protected
-
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.11.1 protected
+ thread safe caching in :unify + per-simple-name variable naming + improvements to :solve-streams
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-