Optimal implementation of and-or parallel Prolog-Reference-Cited by-同舟云学术

Optimal implementation of and-or parallel Prolog

Published:1994-04 Issue:1 Volume:10 Page:71-92
ISSN:0167-739X
Container-title:Future Generation Computer Systems
language:en
Short-container-title:Future Generation Computer Systems

Author:

Gupta Gopal,Costa Vítor Santos

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Hardware and Architecture,Software

Reference41 articles.

1. A method for implementing cut in parallel execution of Prolog;Ali,1987

2. K. Ali and R. Karlsson, The Muse Or-parallel Prolog model and its performance, in: Proc. North American Conf. on Logic Programming '90 (MIT Press, Cambridge MA).

3. Full Prolog and scheduling Or-parallelism in Muse;Ali;Int. J. Parallel Programming,1991

4. The parallel ECRC Prolog system PEP-Sys: An overview and evaluation results;Baron,1988

5. T. Beaumont, S. Muthu Raman et al., Flexible scheduling or Or-parallelism in Aurora: The Bristol scheduler, in: Proc. PARLE '91 (Springer Berlin, LNCS 506) 403–420.

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

1. Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

2. COALGEBRAIC SEMANTICS FOR PROBABILISTIC LOGIC PROGRAMMING;LOG METH COMPUT SCI;2021

3. Logic programming: Laxness and saturation;Journal of Logical and Algebraic Methods in Programming;2018-12

4. Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness;Coalgebraic Methods in Computer Science;2016

5. Bialgebraic Semantics for Logic Programming;Logical Methods in Computer Science;2015-03-30