AND parallelism and nondeterminism in logic programs

DOI10.1007/BF03037115MaRDI QIDQ1077925zbMATH OpenOpenAlexFDO

Authors 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

nondeterminismquicksortdivide and conquerprocess modellogic programsintelligent backtrackingabstract interpreterAND parallelismOR parallelism

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4045121
• scientific article; zbMATH DE number 3942996
• Static analysis of logic programs for independent and parallelism
• scientific article; zbMATH DE number 4128360
• Publication:4723279

Cites work

• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• Abstraction and verification in Alphard
• The Semantics of Predicate Logic as a Programming Language

Cited in

(11)

• An execution model for exploiting AND-parallelism in logic programs
• Multi-valued logic programming semantics An algebraic approach
• Semantics of distributed definite clause programs
• A backtracking algorithm for the stream AND-parallel execution of logic programs
• Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
• scientific article; zbMATH DE number 1678373 (Why is no real title available?)
• A predicate-transition net model for parallel interpretation of logic programs
• Transforming generate-and-test programs to execute under committed-choice AND-parallelism
• Path for AND-parallel execution of logic programs
• The implementation of a distributed model for logic programming based on multiple-headed clauses
• scientific article; zbMATH DE number 3997141 (Why is no real title available?)

This page was built for publication: AND parallelism and nondeterminism in logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1077925)