Knowledge-based Declarative Debugging in Logic Programming
Sy Yan · Australian Software Engineering Conference · 1989
Program debugging is a very difficulty, labour intensive, high cost and time consuming activity. No one likes to debug programs, and there is as yet no practical way to automate the task. However, knowledge-based approaches offer some possibilities for the future. In this paper, we first present an overview of some experimental knowledge-based debugging systems for conventional (e.g. FORTRAN, ADA, and PASCAL, etc.) programs. Then we discuss the possibilities and ways of knowledge-based declarative debugging in logic (e.g. PROLOG) programming.