OR-parallel execution of Prolog on a multi-sequential machine-Reference-Cited by-同舟云学术

OR-parallel execution of Prolog on a multi-sequential machine

Published:1986-06 Issue:3 Volume:15 Page:189-214
ISSN:0885-7458
Container-title:International Journal of Parallel Programming
language:en
Short-container-title:Int J Parallel Prog

Author:

Ali Khayri A. M.

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01414554.pdf

Reference11 articles.

1. J. S. Conery and D. F. Kibler, Parallel Interpretation of Logic Programs, inProc. of the ACM Conf. on Functional Programming Languages and Computer Architecture, pp. 163?170 (October 1981).

2. H. Yasuhara and K. Nitadori, ORBIT: A Parallel Computing Model of Prolog,New Generation Computing 2:277?288 (1984).

3. Y. Sohma, K. Satoh, K. Kumon, H. Masuzawa, and A. Itashiki, A New Parallel Inference Mechanism Based on Sequential Processing,Proc. of Working Conf. Fifth Generation Computer Architecture, Manchester (July 1985).

4. A. Ciepielewski and S. Haridi, A Formal Model for OR-Parallel execution of Logic Programs, inProc. Inform. Processing 83, pp. 299?305 (1983).

5. P. Borgwardt, Parallel Prolog Using Stack Segments on Shared-Memory Muliprocessors, inProc. Intl. Symp. Logic Programming, pp. 2?11 (February 1984).

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines;2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum;2012-05

2. Threads and or-parallelism unified;Theory and Practice of Logic Programming;2010-07

3. Parallel execution of logic programs by load sharing;The Journal of Logic Programming;1997-01

4. A Model for Parallel Deduction;Parallel Processing for Artificial Intelligence;1994

5. A Parallel Backward‐chaining Strategy Based on the Concept of OR‐Node Levels in the AND/OR Tree;Kybernetes;1992-07-01