Tags

+ improve js api
+ fix js dependencies
+ static factories for Libraries

fix publication of :parser-js

minor fixes + dependency from @tuprolog/parser-utils for JS

improve presentation of variables in :repl

kt 1.4.10, kt-math 0.2.0

+ abolish/1 + current_prolog_flag/2 + clause/2 + copy_term/2 + once/1 + repeat/0

several minor bugfixes

+ thread safe caching in :unify
+ per-simple-name variable naming
+ improvements to :solve-streams

- [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)

+ 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

+ retract/1
+ minor bug fixes

+ repl
+ examples
+ sleep/1
+ fix timeouts in interactive mode

+ collection framework for clauses
+ [BREAKING] ClauseDatabase renamed to Theory
+ fix #67
+ close #77

+ term comparators