Yet another efficient backward execution algorithm in the AND/OR process model
From MaRDI portal
Publication:1183471
DOI10.1016/0020-0190(91)90079-WzbMath0742.68008MaRDI QIDQ1183471
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
applicative logic programming; AND parallelism; AND/OR process model; backward execution algorithm; multiple failure; parallel evaluation of logic programs; selective resetting
68N17: Logic programming
Related Items
Cites Work