A Temporal extension of Prolog

Tomas Hrycej
1993 The Journal of Logic Programming  
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
more » ... 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. a
doi:10.1016/0743-1066(93)90016-a fatcat:zlarijlzbvg43hwctdiwipwena