Jekejeke Minlog 0.6.5 (forward disjunction and chart operator)
Jan Burse, created Jul 29. 2013
We have just uploaded a new release of Jekejeke Minlog.
This release contains a new functionality.
- Forward Disjunction: We now support disjunction (;)/2
in forward chaining, and use a modified improved rewriting
technique to compute the delta.
- Chart Operator: We have introduced a new operator (&-->/2)
for forward DCGs. It is now possible to mix forward and
backward chaining in these DCGs.