40 Years of Computing at Newcastle

Department Technical Report Series No. 452

Projection in Temporal Logic Programming

Z. Duan
M. Koutny
C.M. Holt

University of Newcastle upon Tyne. 1994

Abstract

We define a projection operator in the framework of the temporal logic programming. Its syntax and semantics are presented and illustrated with examples. We also discuss the implementation details of the projection construct.