Re: Some help with Event-Calculus axiom using Prolog
Willem van Hage <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <BB2BB495-8CDC-4F0D-9C34-C46CC491037A__27110.0619844676$1396519439$gmane$org@vu.nl> |
Hi Kashi, Have you heard of LeadsTo and TTL? http://www.cs.vu.nl/~wai/TTL/ http://www.researchgate.net/publication/221048961_LEADSTO_A_Language_and_Environment_for_Analysis_of_Dynamics_by_SimulaTiOn/file/3deec5291f1828184c.pdf Willem On 03 Apr 2014, at 07:33, Kashi Khan <[email protected]> wrote: > Hi All,I am newbie to Prolog. I would like to model this axiom.Can anyone > suggest how I can define the variables in this axiom?Any help will be much > appreciated.Kashi > <http://swi-prolog.996271.n3.nabble.com/file/n14689/Untitled.jpg> > > > > -- > View this message in context: http://swi-prolog.996271.n3.nabble.com/Some-help-with-Event-Calculus-axiom-using-Prolog-tp14689.html > Sent from the SWI Prolog mailing list archive at Nabble.com. > -------------- next part -------------- > HTML attachment scrubbed and removed > _______________________________________________ > SWI-Prolog mailing list > [email protected] > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog -------------- next part -------------- HTML attachment scrubbed and removed