I'm looking for a (very) simple tool for doing prolog style logical deduction in common lisp. This is just for managing tasks and creating an advanced todo list based on rules. Currently PaiProlog breaks and I don't have the time to read all of PIA to understand what, ether me or it are doing wrong. <br>
<br>As an example of what I'm trying to do:<br><br>(<- (PRODUCER ?X) (TOOL ?X))<br>(<- (tool "emacs"))<br><br>(?- (producer "emacs"))<br>Yes<br><br>(do-all (?- (producer ?x))<br><br><br><br>Firstly, should I be using CL-Unification for this? <br>
<br>Secondly, does CL-Unification support this already?<br><br>Finally, a simple example of how to do this would be wonderful. <br><br>