Tags

+ 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

kotlin 1.3.72 and kt-math 0.1.3

minor improvements for java and js build

bug fixes and (breaking) improvements to api

+ three values for Truth
+ Collection interface
+ improve TermParser api
+ ClauseDatabaseParser -> ClausesParser
+ MutableSolver interface

actual nodejs support + dependency on kotlin 1.3.70

parser and improvements

Substitution Standard compliance bug-fix