Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of Julog

Julog - v0.1.15

Fixed bug in negation normal form conversion.

- Julia
Published by ztangent over 3 years ago

Julog - v0.1.14

Improved term simplification via simplify, docstring elaboration.

- Julia
Published by ztangent over 3 years ago

Julog - v0.1.13

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

- Julia
Published by ztangent over 3 years ago

Julog - v0.1.12

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

- Julia
Published by ztangent almost 4 years ago

Julog - v0.1.11

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

- Julia
Published by ztangent over 4 years ago

Julog - v0.1.10

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

- Julia
Published by ztangent almost 5 years ago

Julog - v0.1.9

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

- Julia
Published by ztangent almost 5 years ago

Julog - v0.1.8

Support optional escaping in the parsing of Julog expressions.

- Julia
Published by ztangent about 5 years ago

Julog - v0.1.7

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

- Julia
Published by ztangent about 5 years ago

Julog - v0.1.6

Fixed parser and macro hygiene issues.

- Julia
Published by ztangent about 5 years ago

Julog -

Support for the meta-call predicate call/N, some bugfixes.

- Julia
Published by ztangent over 5 years ago

Julog -

Add has_subterm utility function.

- Julia
Published by ztangent over 5 years ago

Julog -

Support parsing to typed lists, utility functions for flattening conjunctions and disjunctions.

- Julia
Published by ztangent over 5 years ago

Julog -

Support logical form conversions, findall/2, countall/2, parser extensions and fixes.

- Julia
Published by ztangent over 5 years ago

Julog -

Support for forward-chaining and search order flag.

- Julia
Published by ztangent over 5 years ago

Julog -

Initial release.

- Julia
Published by ztangent over 5 years ago