Clocked Temporal Logic Programming
Chuchang Liu and Mehmet A. Orgun
Department of Computing,
NSW 2109, Australia.
Clocked temporal logic programming(CTLP) is an extension of
logic programming based on a clocked temporal logic(CTL).
In CTL, predicates are associated with local clocks.
Local clocks can be used to model multiple granularity of time,
thus the resulting temporal logic programming language,
called Chronolog(MC), has a stronger modeling power.\linebreak
This paper discusses the logical basis of the language
and outlines its operational semantics. Also,
a parallel execution model for Chronolog(MC) programs is outlined.
An application of CTLP to distributed computations
Conference Home Page