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