Open AccessProceedings Article
A Stream AND-Parallel Execution Algorithm with Backtracking.
Zoltan Somogyi,Kotagiri Ramamohanarao,Jayen Vaghani +2 more
- 01 Jan 1988
pp 1142-1159
6
About: This article is published in International Conference on Lightning Protection. The article was published on 01 Jan 1988. and is currently open access. The article focuses on the topics: Beam stack search & Backtracking.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Proceedings Article
NUA-Prolog: An Extension to the WAM for Parallel Andorra.
Doug Palmer,Lee Naish +1 more
- 01 Jan 1991
TL;DR: This thesis reports on the design and construction of an abstract machine, the DAM, for the parallel execution of AKL programs, and a bottom-up abstract interpretation and the logical semantics for the AKL.
25
A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs
TL;DR: This paper offers a review of major activities in exploiting AND-parallelism and combined AND/OR-Parallelism.
4
•Dissertation
Coupled resolution engines for programming knowledge based systems in logic
Hamish Taylor
- 01 Jan 1989
TL;DR: The design and use of a logic programming system that reconciles three different requirements for this type of application, which couples a concurrent logic programming or CLP engine with a multi-threaded Prolog engine, and is compatible with scale enhancing approaches to resolution using knowledge base machines.
3
A parallel Prolog execution model: theoretical approach and experimental results
J.P. Bodeveix,E. Bizouarn +1 more
- 13 Apr 1993
TL;DR: This paper presents a parallel all-solution extension of Prolog integrating AND parallelism and a restricted form of OR parallelism, both explicitly declared by the user, and a transputer network implementation.
2
The design of an optimistic AND-parallel Prolog
John G. Cleary,Ian Olthof +1 more
- 01 Oct 1993
TL;DR: A distributed AND-parallel Prolog implementation is described, based on the optimistic Tune Warp system, with Prolog-specific optimizations, which can fully exploit the parallelism available in both dependent and independent AND-Parallelism.
1