An improved data-dependency-based backtracking scheme for Prolog

DOI10.1016/0020-0190(89)90121-XMaRDI QIDQ1823727zbMATH OpenOpenAlexFDO

Authors Vishv Mohan Malhotra, Tang Van To, Kanchana Kanchanasut

Publication date 1989

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

Full work available at URL https://doi.org/10.1016/0020-0190(89)90121-x

zbMATH Keywords

data dependencyintelligent backtrackingunificationWAM

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Review text

The article describes modification of data dependency based backtracking scheme for Prolog. Its idea stems from observation that data dependent backtracking scheme used in another approaches is not sufficiently selective. It argues that it is not necessary to include as backtrack points all so called contributing goals. In this respect the article is interesting modification of \textit{V. Kumar}, \textit{Y. J. Lin} [J. Logic Program. 5, No.2, 165-181 (1988; Zbl 0645.68102)]. Concerning the implementation in WAM the presentation is not precise enough to show what modifications are necessary. It is clear that introduction of tags will double memory needed for every variable. Moreover, the implementation of \(``>\) relationship requires to add some kind of time tags. It would lead to considerable overhead both in memory and time.

Recommendations

• A data-dependency-based intelligent backtracking scheme for PROLOG
• scientific article; zbMATH DE number 3967899
• Some results on the complexity of exploiting data dependency in parallel logic programs
• scientific article; zbMATH DE number 3976298
• scientific article; zbMATH DE number 1149402

Cites work

• A data-dependency-based intelligent backtracking scheme for PROLOG
• Maximal unifiable subsets and minimal non-unifiable subsets

Cited in

(2)

• Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
• A data-dependency-based intelligent backtracking scheme for PROLOG

This page was built for publication: An improved data-dependency-based backtracking scheme for Prolog

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