An abstract machine for restricted AND-parallel execution of logic programs-Reference-Cited by-同舟云学术

An abstract machine for restricted AND-parallel execution of logic programs

Published:1986 Issue: Volume: Page:25-39
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hermenegildo M. V.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-16492-8_62.pdf

Reference17 articles.

1. J.H. Chang, A. M. Despain, and D. DeGroot. AND-parallelism of Logic Programs Based on Static Data Dependency Analysis. In Digest of Papers of COMPCON Spring '85, pages 218–225. 1985.

2. K. Clark and S. Gregory. PARLOG: A Parallel Logic Programming Language. Research Report DOC 83/5, Dept. of Computing, Imperial College of Science and Technology, May, 1983. University of London.

3. Clark, K.L. and G. McCabe. The Control Facilities of IC-Prolog. Expert Systems in the Micro Electronic Age. Edinburgh University Press, 1979.

4. J.S. Conery and D.F. Kibler. Parallel Interpretation of Logic Programs. In Proc. of the ACM Conference on Functional Programming Languages and Computer Architecture., pages 163–170. October, 1981.

5. J.S. Conery. The AND/OR Process Model for Parallel Interpretation of Logic Programs. PhD thesis, The University of California at Irvine, 1983. Technical Report 204.

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

1. Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages;Prolog: The Next 50 Years;2023

2. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17

3. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28

4. An overview of Ciao and its design philosophy;Theory and Practice of Logic Programming;2011-12-30

5. The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines;Theory and Practice of Logic Programming;2011-09-12