Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning)

Jan Burse, created Jan 06. 2013 Dear All, We have just uploaded a new release of Jekejeke Minlog. This release contains the very first forward debugging and some new functionality. - Forward Debugging I: In case the Jekejeke Minlog Module is used together with the Jekejeke Development Environment forward chaining will now have its own ports: Post <Fact> Diff <Delta> More <Delta> Done <Fact> These ports are shown when the delta computation predicate is invoked. - Forward Debugging II: In case the Jekejeke Minlog Module is used together with the Jekejeke Development Environment chart parsing will now show chart building phase and the chart querying phase during debugging. - Hypothetical Reasoning I: The verb 'assume' temporarily asserts a clause, whereas the verb 'retire' temporarly retracts a clause. Both verbs are found in two versions, one where the update lasts for the duration of a sub-goal, and one where the update lasts for the duration of the continuation. - Hypothetical Reasoning II: The assume and retire form the basis for the knowledge base update during the computation of the forward closure. With post/2 we now provide a forward closure for the duration of a sub-goal, whereas the old post/1 still calculates the forward closure for the duration of the continuation. Happy coding! Download: Minlog Modul Release Notes: Minlog Modul

Comments