Work

Temporal logic programming

Year: 1989

Type: article

Abstract: Temporal logic, often used as a specification language for programs, can serve directly as a programming language. We propose a specific programming language TEMPLOG, which extends the classical PROLOG-like languages to include temporal operators. PROLOG progams are collections of classical Horn clauses and they are efficiently interpreted by SLD-resolution. Similarly, TEMPLOG programs are collections of temporal Horn clauses and we interpret them with temporal SLD-resolution, a restricted form of a general temporal resolution method.

Source: Journal of Symbolic Computation

DOI: 10.1016/s0747-7171(89)80070-7

Authors: Martín Abadi, Zohar Manna

Institution: Stanford University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,160

Funders: National Science Foundation, Defense Advanced Research Projects Agency, Air Force Office of Scientific Research