Jekejeke Minlog 0.6.5 (forward disjunction and chart operator)

Jan Burse, created Jul 29. 2013 Dear All, 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. Happy coding! Download: Minlog Modul Release Notes: Minlog Modul