Prolog Extension of

Stratified Temporal Prolog