Looking for an official extension of Temporal Prolog

6 points by youio 3 days ago

I'm looking for an official extension of prolog that has temporal logic