Declarative debugging systems compare the results of sub-computations with what the programmer intended. By asking the programmer questions or using a formal specification the system can identify precisely where in a program a bug is located. Our research into declarative debugging has made improvements over the original algorithms for debugging Prolog and extended the ideas to other language paradigms such as functional and object oriented languages.
Lee Naish, Zoltan Somogyi, and James Harland received a large ARC grant to continue this research until the end of 1998. Bert Thompson was employed under this grant. Zoltan and Lee received another large ARC grant to develop and apply the technology to Mercury. Mark Brown did related work on debugging Mercury and Bernie Pope has been working on debugging Haskell, with some help from summer students Weyn Ong, Toby Ord and Bryn Humberstone.
Some relevant papers: