Or-Parallel Execution Models of Prolog

Authors:
David H. D. Warren
Affiliations:
-
Venue:
TAPSOFT '87 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Year:
1987

Citing 0
Cited 4

Evaluating parallel logic programming systems on scalable multiprocessors

PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
An abstract machine for tabled execution of fixed-order stratified logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Tabling Implementation Based on Variables with Multiple Bindings

ICLP '09 Proceedings of the 25th International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract