An improved data-dependency-based backtracking scheme for Prolog

DOI10.1016/0020-0190(89)90121-XzbMath0681.68113OpenAlexW1975735118MaRDI QIDQ1823727

Tang Van To, Vishv Mohan Malhotra, 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

unificationdata dependencyintelligent backtrackingWAM

Mathematics Subject Classification ID

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

Cites Work

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

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