v0.1.15

Fixed bug in negation normal form conversion.

v0.1.14

Improved term simplification via simplify, docstring elaboration.

v0.1.13

Support for deferred evaluation, extend to_nnf to support forall and exists.

v0.1.12

Ensure that zero-arity Compound terms unify and compare as equal to corresponding constants. Some performance improvements to unify.

v0.1.11

Fixed inconsistency that prevented the evaluation of zero-arity custom functions.

v0.1.10

Fixes bugs caused by stale variable names in the head of a clause.

v0.1.9

Performance optimizations to unify, removal of gensym overhead, typechecking in resolve.

v0.1.8

Support optional escaping in the parsing of Julog expressions.

v0.1.7

Performance optimizations by reducing memory allocation. Benchmarks run 2-3 times faster.

v0.1.6

Fixed parser and macro hygiene issues.