Paper Info
Title
A data-dependency-based intelligent backtracking scheme for Prolog
Abstract
This paper presents a scheme for intelligent backtracking in PROLOG programs. Rather than doing the analysis of unification failures, this scheme chooses backtrack points by doing the analysis of data dependency between literals. The other data-dependency-based methods previously developed cannot be easily incorporated in Warren's abstract machine, and are not able to perform across-the-clause backtracking intelligently. Our scheme overcomes all these defects. For many problems this scheme is just as effective as intelligent backtracking schemes based upon (more accurate) analysis of unification failure, and yet incurs small space and time over- head. To demonstrate the usefulness of our scheme, we have modified a simulator of Warren's abstract machine to incorporate our intelligent backtracking scheme, and have evaluated its performance on a number of problems.
Year
DOI
Venue
1988
10.1016/0743-1066(88)90017-9
J. Log. Program.
Keywords
Field
DocType
intelligent backtracking scheme,data-dependency-based intelligent backtracking scheme
Data dependency,Data analysis,Computer science,Unification,Algorithm,Theoretical computer science,Prolog,Backtracking,Abstract machine
Journal
Volume
Issue
ISSN
5
2
The Journal of Logic Programming
Citations 
PageRank 
References 
11
1.90
17
Authors
2
Name
Order
Citations
PageRank
Vipin Kumar111560934.35
Yow-Jian Lin227940.18