A data-dependency-based intelligent backtracking scheme for PROLOG
From MaRDI portal
Publication:3789106
DOI10.1016/0743-1066(88)90017-9zbMath0645.68102MaRDI QIDQ3789106
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
performance evaluation; Prolog; intelligent backtracking; Warren's abstract machine; data dependency between literals; unification failures
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
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