Looking for an official extension of Temporal Prolog

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