A Temporal extension of Prolog
From MaRDI portal
Publication:4036284
DOI10.1016/0743-1066(93)90016-AzbMath0787.68094MaRDI QIDQ4036284
Publication date: 16 May 1993
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
MetateM: An introduction ⋮ Programming in metric temporal logic ⋮ Foundations of linear-time logic programming ⋮ A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Fuzzy temporal constraint logic: A valid resolution principle ⋮ Knowledge representation with multiple logical theories and time ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Temporal Contextual Logic Programming ⋮ The complexity of constraint satisfaction problems for small relation algebras