Warren, D.H.D.(1987). The SRI model for Or-parallel execution of Prolog. IEEE Symposium on Logic Programming, New York, 92-102. 15  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Compilation and Execution of Recursion-Parallel Prolog on.. - Lindgren (1993) (5 citations) (Correct)
....and second, resolution may be done against any clause. In principle, nothing stops us from performing several resolution steps simultaneously. Resolving several goals simultaneously is called and parallelism, while simultaneously resolving a goal against several clauses is or parallelism [2, 78, 34, 13, 55] In this thesis, we will concentrate on (dependent) and parallelism. Prolog adds impure primitives (i.e. operations that are not referentially transparent) the ability to prune proof trees, input output and an implicit sequential operational semantics to the logic programming paradigm. A ....
D.H.D. Warren, The SRI-model for or-parallel execution of Prolog, in 1987 IEEE International Symposium in Logic Programming, IEEE Press 1987. f3g
Layer Sharing: an improved Structure-Sharing Framework - Clergerie (1993) (1 citation) (Correct)
....and easy to implement. 1 Introduction In the last few years, some alternative models have been proposed for extending or replacing the standard WAM based implementation of PROLOG. For instance, one may cite the parallel models (independent AND parallelism[DeG84, HG90] OR parallelism[War87]) the tabular models (OLDT[TS86] SLDAL[Vie87] XWAM[War89] or the magic set models[BMSU86, Sek89, UOKT84] These models dif This work has been partially supported by the Eureka Software Factory (ESF) project. fer from the original one essentially in that they simultaneously maintain ....
....value is no longer possible. The most common solution is to store the bindings in environments. Access becomes indirect because an entry for a variable must be first retrieved in the environment to find the associated value. The most popular structures for encoding environment are Binding Arrays[War84, War87]. This scheme is correct as long as each variable is bounded at most once in each environment. Unfortunately, this is no longer the case for non input models where the same variable identifier may denote two distinct logical variables in branches to be joined. After joining, we have a unique ....
H. D. Warren. The SRI model for OR-- parallel execution of prolog. abstract design and implementation issues. In 4th Symp. on Logic Programming, pages 46-- 53, San Francisco, Sept. 1987.
Process Semantics of Control Structures in Prolog - Lopes, Costa, Montesi (Correct)
No context found.
Warren, D.H.D.(1987). The SRI model for Or-parallel execution of Prolog. IEEE Symposium on Logic Programming, New York, 92-102. 15
Assessment of a Storage Optimisation Tool for AKL - Sjöland, Brand, Sahlin (Correct)
No context found.
D.H.D. Warren. The sri model for or-parallel execution of prolog. abstract design and implementation issues. In The IEEE Computer Society Press, editor, Proceedings - 1987 Symposium on Logic Programming, pages 46--53. IEEE, September 1987.
Potentiality of Parallelism in Logic - Kurfeß (1991) (Correct)
No context found.
Warren, D. (1987). The SRI model for OR-parallel execution of Prolog. In Symposium on Logic Programming '87, pages 92--102.
Concurrency and Backtracking in Vienna Parallel Logic - Kühn, Pohlai, Puntigam (1993) (Correct)
No context found.
Warren, D. H. D. The SRI Model for OR-Parallel Execution of Prolog, Abstract Design and Implementation Issues. In: Proceedings of the Fourth Symposium on Logic Programming, September 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC