DECLARATIVE DEBUGGING OF THE PARALLEL LOGIC PROGRAMMING LANGUAGE GHC.

Research output: Contribution to conferencePaper

Abstract

In this paper we examine declarative debugging of the parallel logic programming language Guarded Horn Clauses (GHC). We survey related work on algorithmic and declarative debugging of logic programming languages. We present and compare a number of error diagnosers for GHC. We give a top-down algorithm and investigate heuristics for improving its performance. We present and discuss the results of a complexity analysis of a variety of algorithms. We address the problems involved in debugging a parallel, non-deterministic language and suggest further extensions to our debugger.

Original languageEnglish
Pages225-236
Number of pages12
Publication statusPublished - 1 Jan 1988

Cite this