Restricted and-Parallel Execution of Logic Programs

Publisher Website

1 January 1988

book chapter
Published by Springer Nature

p. 91-107
https://doi.org/10.1007/978-1-4613-1989-4_5

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

A comparative study of unification algorithms for OR-parallel execution of logic languages
IEEE Transactions on Computers, 1985
Foundations of Logic Programming
Published by Springer Nature ,1984