INTELLIGENT BACKTRACKING SCHEME FOR PROLOG.

Vipin Kumar, Yow Jian Lin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

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 languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherIEEE
Pages406-414
Number of pages9
ISBN (Print)0818607998
StatePublished - Dec 1 1987

Fingerprint Dive into the research topics of 'INTELLIGENT BACKTRACKING SCHEME FOR PROLOG.'. Together they form a unique fingerprint.

Cite this