Implementation of Prolog extension handling temporal operators

Question

I am looking for implementation of Prolog extension which handles temporal logic operators. Is there any info about this ? As temporal logic has been a significant part of logic, I am sure that there must have been discussions about this with respect to prototype or implementation.

Answer 1

I suggest to take a look at Etalis. If it turns out to be overkill (I'm sorry I never really delved inside too much), and you're using SWI-Prolog, see if pack Julian could be a better fit. It's nicely integrated with CLP(FD) library and will leave you full freedom about the semantics of your operators. Of course, it's a 'lower level' approach...