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.
|Number of pages||12|
|Publication status||Published - 1 Jan 1988|