Temporal Prolog