Clocked Temporal Logic Programming

Chuchang Liu and Mehmet A. Orgun
Department of Computing, Macquarie University, NSW 2109, Australia.
{cliu,mehmet}@krakatoa.mpce.mq.edu.au

Abstract

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[4] 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 is discussed.

Conference Home Page