A technique for compiling execution graph expressions for restricted and-parallelism in logic programs

Publisher Website

1 October 1988

journal article
Published by Elsevier in Journal of Parallel and Distributed Computing

Vol. 5 (5) , 494-516
https://doi.org/10.1016/0743-7315(88)90010-x

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

Compilation of logic programs for restricted and-parallelism
Published by Springer Nature ,1988
The average complexity of depth-first search with backtracking and cutoff
IBM Journal of Research and Development, 1986
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems, 1986
Some global optimizations for a PROLOG compiler
The Journal of Logic Programming, 1985