INTELLIGENT BACKTRACKING SCHEME FOR PROLOG.

Vipin Kumar; Yow Jian Lin

INTELLIGENT BACKTRACKING SCHEME FOR PROLOG.

Vipin Kumar
, Yow Jian Lin

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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

Find It

Find It at U of M Libraries

Cite this

@inproceedings{cf2db14ac8b545508b143d8290739b07,

title = "INTELLIGENT BACKTRACKING SCHEME FOR PROLOG.",

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.",

author = "Vipin Kumar and Lin, \{Yow Jian\}",

year = "1987",

month = dec,

day = "1",

language = "English (US)",

isbn = "0818607998",

publisher = "IEEE",

pages = "406--414",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - INTELLIGENT BACKTRACKING SCHEME FOR PROLOG.

AU - Kumar, Vipin

AU - Lin, Yow Jian

PY - 1987/12/1

Y1 - 1987/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0023561598

UR - https://www.scopus.com/pages/publications/0023561598#tab=citedBy

M3 - Conference contribution

AN - SCOPUS:0023561598

SN - 0818607998

SP - 406

EP - 414

BT - Unknown Host Publication Title

PB - IEEE

ER -

INTELLIGENT BACKTRACKING SCHEME FOR PROLOG.

Abstract

Find It

Other files and links

Fingerprint

Cite this