A data-dependency-based intelligent backtracking scheme for PROLOG

DOI10.1016/0743-1066(88)90017-9zbMath0645.68102OpenAlexW1988272147MaRDI QIDQ3789106

Vipin Kumar, Yow-Jian Lin

Publication date: 1988

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(88)90017-9

zbMATH Keywords

performance evaluationPrologintelligent backtrackingWarren's abstract machinedata dependency between literalsunification failures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

Optimization by non-deterministic, lazy rewriting ⋮ An execution model for exploiting AND-parallelism in logic programs ⋮ A backtracking algorithm for the stream AND-parallel execution of logic programs ⋮ Intelligent backtracking in \(\text{CLP}(\Re)\) ⋮ An improved data-dependency-based backtracking scheme for Prolog

This page was built for publication: A data-dependency-based intelligent backtracking scheme for PROLOG