B.Sc.(Hons) Thesis

"Declarative Debugging of the Parallel Logic Programming Language GHC"


In this paper we examine delcarative debugging of the parallel logic programming language Guarded Horn Clauses . 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.