Parallel Execution of Temporal Logic Programs Using Dataflow Computation
暂无分享,去创建一个
[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..