Declarative error diagnosis

DOI10.1007/BF03037396zbMath0624.68018MaRDI QIDQ578894

John W. Lloyd

Publication date: 1987

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

PROLOGlogic programsdebugging

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (15)

A logic programming system for nonmonotonic reasoning ⋮ Declarative Debugging of Rewriting Logic Specifications ⋮ Algorithmic debugging generalized ⋮ Declarative debugging of rewriting logic specifications ⋮ Declarative Debugging of Membership Equational Logic Specifications ⋮ Finding explanations of inconsistency in multi-context systems ⋮ A Logical Framework for Debugging in Declarative Constraint Programming ⋮ A Generalized Model for Algorithmic Debugging ⋮ A Declarative Debugger for Maude Functional Modules ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ S-semantics for logic programming: a retrospective look ⋮ Completeness of a top-down declarative error diagnoser ⋮ A Declarative Debugging System for Lazy Functional Logic Programs ⋮ Completeness of an improved declarative debugger ⋮ Logical debugging

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Negation and control in PROLOG
• Automating control for logic programs
• Making prolog more expressive
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method

This page was built for publication: Declarative error diagnosis