Yet another efficient backward execution algorithm in the AND/OR process model

DOI10.1016/0020-0190(91)90079-WzbMath0742.68008OpenAlexW2003067850MaRDI QIDQ1183471

Kwang-Moo Choe, Do-Hyung Kim

Publication date: 28 June 1992

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

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90079-w

zbMATH Keywords

applicative logic programmingAND parallelismAND/OR process modelbackward execution algorithmmultiple failureparallel evaluation of logic programsselective resetting

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Path for AND-parallel execution of logic programs

Cites Work

• Efficient backward execution in AND/OR process model
• Unnamed Item
• Unnamed Item