Temporal logic programming
To exploit efficient temporal proof techniques, a special programming language, TEMPLOG, is proposed. It extends the classical PROLOG-like languages to include temporal operators. TEMPLOG programs will then be collections of ``temporal'' Horn clauses and, the main idea, they will be interpreted with the help of ``temporal'' SLD-resolution. General features of TEMPLOG programming and reasoning are emphasized, and comparisons with other existing temporal logic languages are provided.
scientific article; zbMATH DE number 4130353
scientific article