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 - Jan 1 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

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

Cite this