Open AccessProceedings Article
A Framework for Prolog Debugging.
Luís Moniz Pereira,Miguel Calejo +1 more
- 01 Jan 1988
pp 481-495
33
TL;DR: A new framework is set forth, the “Select&Query” algorithm schema, which provides a uniform treatment for more error types and a larger Prolog subset, including programs with comitments and meta-logical predicates, though not side-effects.
read more
Abstract: This paper extends the scope and optimality of previous algorithmic debugging techniques (i.e., diagnosis) of Prolog programs, amenable to realistic implementation. A new framework is set forth, the “Select&Query” algorithm schema. It provides a uniform treatment for more error types and a larger Prolog subset, including programs with comitments (“cuts”) and meta-logical predicates, though not side-effects. It can incorporate standard and also user-provided heuristics that profit from domain information. Integration with conventional execution browsers is easily accomplished.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Reasoning with Logic Programming
José Júlio Alferes,Luís Moniz Pereira,Jörg H. Siekmann,J. G. Carbonell +3 more
- 25 Jul 1996
TL;DR: WFSX is a new semantics for extended logic programs that combines LP semantics with two negations, and autoepistemic logics to deal with contradiction.
153
•Proceedings Article
Finding explanations of inconsistency in multi-context systems
Thomas Eiter,Michael Fink,Peter Schüller,Antonius Weinzierl +3 more
- 09 May 2010
TL;DR: This work provides two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules, and shows duality and modularity properties, and gives precise complexity characterizations.
88
•Proceedings Article
Contradiction removal within well founded semantics
Luís Moniz Pereira,José Júlio Alferes +1 more
- 01 Jan 1991
TL;DR: The purpose is to deene a semantics that extends Well Founded Semantics for programs with classical negation, and which avoids the absence of models caused by contradictions brought about by closed world assumptions through making their truth value become undeened, and thus permiting noncontradictory models to appear.
Finding explanations of inconsistency in multi-context systems
TL;DR: In this paper, the authors consider the problem of inconsistency management in multi-context systems, in which decentralized and heterogeneous system parts interact via (possibly nonmonotonic) bridge rules for information exchange.
72
Algorithmic Debugging with Assertions.
Wlodzimierz Drabent,Simin Nadjm-Tehrani,Jan Maluszynski +2 more
- 01 Jan 1988
TL;DR: In this article, a generalization of the Prolog language used to communicate with the debugger is presented, where formal specifications of some properties of the intended model are allowed, in addition to the usual “yes” and “no” answers.
66
References
•Book
Foundations of logic programming
John W. Lloyd
- 01 Jan 1984
TL;DR: This is the second edition of an account of the mathematical foundations of logic programming, which collects, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers.
4.5K
•Book
Algorithmic Program Debugging
Ehud Shapiro
- 14 Apr 1983
TL;DR: An algorithm that can fix a bug that has been identified, and integrate it with the diagnosis algorithms to form an interactive debugging system that can debug programs that are too complex for the Model Inference System to synthesize.
1.2K
Algorithmic Debugging with Assertions.
Wlodzimierz Drabent,Simin Nadjm-Tehrani,Jan Maluszynski +2 more
- 01 Jan 1988
TL;DR: In this article, a generalization of the Prolog language used to communicate with the debugger is presented, where formal specifications of some properties of the intended model are allowed, in addition to the usual “yes” and “no” answers.
66
•Book
Algorithmic debugging with assertions
Wlodzimierz Drabent,Simin Nadjm-Tehrani,Jan Maluszynski +2 more
- 01 Dec 1989
TL;DR: This paper suggests a generalization of the language used to communicate with the debugger, in addition to the usual “yes” and “no” answers, formal specifications of some properties of the intended model are allowed.