ANN: Jekejeke Minlog 0.5 (forward Chaining, Chart Parser and CLP(FD))

Dear All,

The first release of Jekejeke Minlog has just been released.

The highlights are:

- Forward Chaining: Turning a predicate into a forward chaining
predicate is just a matter of a simple declaration:

:- forward a/1, b/1.
b(X) :- a(X).

Facts can be temporarily posted via the predicate post/1, the
forward chaining engine will then compute the completion:

?- post(a(1)), b(X).
X = 1

- Chart Parser: DCG rules will detect a forward predicate head,
and do an appropriate rewriting.

- CLP(FD): We have bundled a small constraint solver that keeps
the constraints in the forward store.

For certain examples the performance is good. For example
a backtracking solution for SEND+MORE=MONEY with 3000ms goes
down to 30ms with this constraint solver.

Download and detailed documentation are available from:
http://www.jekejeke.ch

Have Fun

Jan Burse, Jul 20. 2012, 20:24