AND parallelism and nondeterminism in logic programs

DOI10.1007/BF03037115zbMath0595.68025OpenAlexW2028543183MaRDI QIDQ1077925

John S. Conery, Dennis F. Kibler

Publication date: 1985

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037115

zbMATH Keywords

logic programsnondeterminismquicksortdivide and conquerprocess modelintelligent backtrackingabstract interpreterAND parallelismOR parallelism

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Path for AND-parallel execution of logic programs ⋮ An execution model for exploiting AND-parallelism in logic programs ⋮ A backtracking algorithm for the stream AND-parallel execution of logic programs ⋮ Transforming generate-and-test programs to execute under committed-choice AND-parallelism ⋮ Multi-valued logic programming semantics An algebraic approach ⋮ The implementation of a distributed model for logic programming based on multiple-headed clauses ⋮ Semantics of distributed definite clause programs

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• Abstraction and verification in Alphard
• Unnamed Item