×

zbMATH — the first resource for mathematics

A temporal extension of PROLOG. (English) Zbl 0787.68094
Summary: Temporal Prolog, a temporal logic extension of PROLOG, is presented. The primary criterion for the model selection has been its natural embedment into the logic programming paradigm. Under strong efficiency constraints, a first-order “reified” logic has been taken as a basis for the implementation. Allen’s temporal constraint algorithm has been extended for treatment of retractable constraints. Their embedment into Temporal Prolog can be viewed as an instance of the Constraint Logic Programming paradigm. An example inspired by K. Forbus’s Qualitative Process Theory illustrates how qualitative simulation and related tasks can be formulated in Temporal Prolog in a transparent and declarative way.

MSC:
68T99 Artificial intelligence
68N15 Theory of programming languages
PDF BibTeX XML Cite
Full Text: DOI