Abstract
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 |
| Publisher | IEEE |
| Pages | 406-414 |
| Number of pages | 9 |
| ISBN (Print) | 0818607998 |
| State | Published - Dec 1 1987 |