Title: "Completeness" and "full parallelism" of parallel logic programming schemes
Subjects: Logic programming, Parallel programming (Computer science)