Implementing temporary extensions to Prolog statements

Question

I am looking for an implementation of the Prolog extension that handles temporary logic operators. Is there any information about this? Since temporary logic was a significant part of the logic, I am sure that this must have been discussed in relation to prototype or implementation.

Answer 1

I suggest a look at Etalis . If this turns out to be redundant (I'm sorry I never went too deep inside) and you use SWI-Prolog, see if the Julian package could be better. It integrates perfectly with the CLP (FD) library and leaves you complete freedom with respect to the semantics of your statements. Of course, this is a "lower level" approach ...

Answer 2

I would start with Carlo's suggestions. But if you are only looking for basic time logic operators, the Logtalk library includes an implementation for basic time interval relationships:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/library/intervalp.lgt https://github.com/LogtalkDotOrg/logtalk3/blob/master/library/interval.lgt

Logtalk Prolog.