From the Past to the Future: Executing Temporal Logic Programs

We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and looping which place constraints on the use of temporal logic as a programming language.

• Type: Conference
• Year: 1992
• Where: LPAR
• Authors: Michael Fisher, Richard Owens
• Keywords: Automated Reasoning, LPAR 1992, Programming Language, Temporal Logic