ANN: Jekejeke Minlog 0.5 (forward Chaining, Chart Parser and CLP(FD))
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:
Jan Burse, Jul 20. 2012, 20:24