A framework for intelligent backtracking in logic programs

Vipin Kumar, Yow Jian Lin

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

5 Scopus citations

Abstract

This paper presents a scheme for intelligent backtracking in Horn-clause logic programs. The scheme is simple and yet effective for backtracking within a clause. We also present a framework for using extra analysis to make within-clause-backtracking even more intelligent and also to perform across-the-clause backtracking intelligently. The primary strength of our scheme over other schemes is that it incurs very small overhead and yet can eliminate a lot of redundant backtracking. Our backtracking scheme can also be used when AND-parallelism is exploited in logic programs (i.e., when multiple literals of a clause are executed simultaneously).

Original languageEnglish (US)
Title of host publicationFoundations of Software Technology and Theoretical Computer Science - 6th Conference, Proceeding
EditorsKesav V. Nori
PublisherSpringer Verlag
Pages108-123
Number of pages16
ISBN (Print)9783540171799
DOIs
StatePublished - 1986
Event6th Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1986 - New Delhi, India
Duration: Dec 18 1986Dec 20 1986

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume241 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1986
CountryIndia
CityNew Delhi
Period12/18/8612/20/86

Bibliographical note

Funding Information:
1 This work was supported by Army Research Office grant #DAAG29-84-K-0060 to the Artificial Intelligence Laboratory at the University of Texas at Austin.

Fingerprint Dive into the research topics of 'A framework for intelligent backtracking in logic programs'. Together they form a unique fingerprint.

Cite this