Re: Some help with Event-Calculus axiom using Prolog

Kashi Khan <[email protected]> Fri, 4 Apr 2014 18:22:02 -0700 (PDT)

Newsgroups	gmane.comp.ai.prolog.swi
Message-ID	<[email protected]>

I have never heard about the TTL/ LEADSTO. In their first glimpse they look
very different from what I want to have. 



--
View this message in context: http://swi-prolog.996271.n3.nabble.com/Some-help-with-Event-Calculus-axiom-using-Prolog-tp14689p14718.html
Sent from the SWI Prolog mailing list archive at Nabble.com.
-------------- next part --------------
HTML attachment scrubbed and removed