Temporal Prolog(ID:5070/tem007)

TemporalExtensions to Prolog

Hrycej
References:
  • Hrycej, T. Temporal Prolog. In Proc. of the European Conference on Artificial Intelligence, pp. 296-301, Munich, Germany, 1988 view details
  • Hrycej, T. A temporal extension of Prolog. Journal of Logic Programming, 15, pp.113-145, 1993 view details
  • Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 view details Extract: Temporal Prolog
    Hrycej proposed an extension of Prolog (also called Temporal Prolog) capable of handling temporally referenced logical statements and temporal constraints. It is not directly based on temporal logic: it implements the meta-logic (or the semantics) of temporal logic in Prolog. Temporal Prolog uses a modified version of Allen's temporal constraint model for reasoning about time intervals and their relationships.