A scheme is presented for intelligent backtracking in Prolog programs. Rather than doing analysis of unification failures, this scheme chooses backtrack points based on generator/consumer approach. This scheme incurs small overhead and yet can eliminate redundant backtracking in many problems. To demonstrate the usefulness of the scheme, the authors have modified a PLM level-one simulator to incorporate the intelligent backtracking scheme, and have evaluated its performance on a number of problems.
|Original language||English (US)|
|Title of host publication||Unknown Host Publication Title|
|Number of pages||9|
|State||Published - Dec 1 1987|