论文信息 - Parallel Execution of Temporal Logic Programs Using Dataflow Computation

Parallel Execution of Temporal Logic Programs Using Dataflow Computation

[ABSTRACT] The paper presents a data–driven execution model, CHEM, for a temporal logic programing language, Chronolog. An intermediate virtual machine is proposed, which is granulated at clause argument level to exploit argument parallelism through unification. Context–parallelism, inherent in temporal logic programs, is exploited through dynamic tagging approach typically used in dataflow computers. The model is process–based and supports AND–, OR–parallelism in the highly distributed dataflow environment. Implementation techniques used to support these forms of parallelism are described.

Kang Zhang | Kang Zhang

[1] Seif Haridi,et al. A Formal Model for Or-Parallel Execution of Logic Programs , 1983, IFIP Congress.

[2] David H. D. Warren,et al. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.

[3] R. Goldblatt. Logics of Time and Computation , 1987 .

[4] Kang Zhang. An Experiment with a Logic Program Execution Model on the Transputer , 1992, Int. J. High Speed Comput..

[5] Kang Zhang,et al. DIALOG - A dataflow model for parallel execution of logic programs , 1991, Future Gener. Comput. Syst..

[6] Martín Abadi,et al. Temporal Logic Programming , 1989, J. Symb. Comput..

[7] D. Rolston. TOWARD A TENSE-LOGIC-BASED MITIGATION OF THE FRAME PROBLEM , 1987 .

[8] Masahiro Fujita,et al. Implementation of Temporal Logic Programming Language Tokio , 1985, LP.

[9] Doug DeGroot. A Technique for Compiling Execution Graph Expressions for Restricted And-Parallelism in Logic Programs , 1988, J. Parallel Distributed Comput..

[10] M. Orgun,et al. Chronolog Admits a Complete Proof Procedure , 1993 .

[11] Kang Zhang,et al. A Non-shared Binding Scheme for Parallel Prolog Implementation , 1991, IJCAI.

[12] Dov M. Gabbay,et al. Modal and temporal logic programming , 1987 .

[13] John S. Conery. Parallel Execution of Logic Programs , 1987 .

[14] Kang Zhang,et al. Exploiting OR-parallelism in logic programs: A review , 1993, Future Gener. Comput. Syst..