CODEWITHSUNDEEP
prologlogictemporal
user3541984
user3541984

Reputation: 141

Implementation of Prolog extension handling temporal operators

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.

Upvotes: 5

Views: 835

Answers (2)

Paulo Moura
Paulo Moura

Reputation: 18683

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

https://logtalk.org/docs/interval_0.html

You can use Logtalk as an extension to most Prolog implementations.

Upvotes: 3

CapelliC
CapelliC

Reputation: 60034

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...

Upvotes: 4

Related Questions