<div dir="ltr">Great thank you!  Please do it sooner rather than later.  I am working on a similar system in (SWI) Prolog ..  And will be happy in sharing some overlap.  So we don't end up having to just replicate each others work.. .  I am doing negation as explicit proving.. Using much as modus tollens logic in unit projection (negation always yields bindings).  This has made negation by failure a completely unneeded.  But still in ways can leverage it<br><br>some notes: <br> <br> During inference there are times I can get neither the positive or negative proof of a literal (what i call unknown) which can be presented to the user later that they may find that is an appropriate area for knowledge collection.<br> <br> Every back-chain requires I do a complete negative and positive literal query in the antecedents.<br> <br> To implement this I use a combination of ... Mark Stickel's PTTP (<a href="https://github.com/TeamSPoon/PrologMUD/blob/master/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl">https://github.com/TeamSPoon/PrologMUD/blob/master/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl</a>) method to get  modus tollens not_p horn clauses by converting the logic (once CNF) to in horn clauses however those I leave subject to a memoization in SWI-prolog created by Feliks Kluzniak (<a href="https://github.com/TeamSPoon/PrologMUD/blob/master/pack/logicmoo_base/prolog/logicmoo/dra/dra_common.pl">https://github.com/TeamSPoon/PrologMUD/blob/master/pack/logicmoo_base/prolog/logicmoo/dra/dra_common.pl</a> )<div><br> I use Tim Finin's PFC (prolog forward chaining <a href="http://www.csee.umbc.edu/~finin/pfc/src/">http://www.csee.umbc.edu/~finin/pfc/src/</a>  ) library on the positive yielding Modus Ponens (and produce skollems) (when it isn't too expensive) <br><br> If all this makes sense to you .. is this similar .. do we have overlap?</div><div><br> <br><div><br><div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 12, 2015 at 1:52 AM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span><br>
> On 12 Aug 2015, at 9:58 , Douglas Miles <<a href="mailto:logicmoo@gmail.com" target="_blank">logicmoo@gmail.com</a>> wrote:<br>
><br>
> What language is RACE in?<br>
><br>
> /me hopes its prolog!<br>
<br>
</span>Douglas<br>
<br>
You are hoping correctly. RACE is completely written in (SWI) Prolog.<br>
<br>
Best.<br>
<span><font color="#888888"><br>
   --- nef<br>
<br>
</font></span></blockquote></div><br></div></div></div></div></div>