Jekejeke Minlog 0.5 (Forward Chaining, Chart Parser and CLP(FD))

Jan Burse, created Jul 20. 2012, modified Aug 04. 2012 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: Minlog Modul Have Fun

Comments

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

Loveprolog, created Aug 08. 2012 Jan, This is a great effort. I will find time to try this out soon. Thank you