A parallel execution model for Chronolog

C. Liu*, M. A. Orgun, K. Zhang

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


Chronolog(z) is a logic programming language based on a linear-time temporal logic with unbounded past and future. By adding 'choice predicates' to Chronolog(Z), it is possible to obtain exactly one answer to a given goal when we want to modal dataflow style of stream-oriented computations. In this paper, we propose a parallel execution model for Chronolog(Z) that supports AND- and OR-parallelism in the highly distributed dataflow environment. In order to exploit the inherent context-paralellism that exist in temporal logic programs, we introduce the concept of parallel context-processes into the model. We also introduce an intermediate virtual machine (CVM), which is granulated to exploit the argument parallelism through temporal unification. The details of the CVM instruction set are given. The use of a warehouse facility as an associate memory to store the results of previous computations is an important feature of this modal. This paper discusses the structure of the warehouse, its role and use in pa rallel execution of Chronolog programs. We in particular outline an algorithm to manage the warehouse.

Original languageEnglish
Pages (from-to)215-228
Number of pages14
JournalComputer Systems Science and Engineering
Issue number4
Publication statusPublished - Jul 2001
Externally publishedYes


Dive into the research topics of 'A parallel execution model for Chronolog'. Together they form a unique fingerprint.

Cite this