Path for AND-parallel execution of logic programs

DOI10.1016/0020-0190(94)90126-0zbMath0938.68569OpenAlexW2071352630MaRDI QIDQ1341682

Su-Hyun Lee, Kwang-Moo Choe, Do-Hyung Kim

Publication date: 16 February 1995

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)90126-0

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• AND parallelism and nondeterminism in logic programs
• Yet another efficient backward execution algorithm in the AND/OR process model

This page was built for publication: Path for AND-parallel execution of logic programs