Jekejeke Minlog 0.7.3 (reasoner integration)
Jan Burse, created Aug 09. 2014
We have just uploaded the new release of Jekejeke
Minlog. The release mainly features some architectural
- Reasoner Integration: We managed to provide a
hypothetical reasoning library that is reused
and extended by the forward chaining engine.
Also we started with the term domain via a new
- Open Source: We did not yet manage to make
the chart parser open source and the CLP(FD)
open source. But there is already some progress.
The following modules are already available:
assume: Assumption Toolbox
hypo: Hypothetical Reasoning
delta: Forward Chaining
diff: Term Domain
The web site http://www.jekejeke.ch/ has now
an open source section. Just click "Support"
and then "Sources".