Automated Debugging of Logic Programs via Theory Revision (1992)
This paper presents results on using a theory revision system to automatically debug logic programs. FORTE is a recently developed system for revising function-free Horn-clause theories. Given a theory and a set of training examples, it performs a hill-climbing search in an attempt to minimally modify the theory to correctly classify all of the examples. FORTE makes use of methods from propositional theory revision, Horn-clause induction (FOIL), and inverse resolution. The system has has been successfully used to debug logic programs written by undergraduate students for a programming languages course.
In Proceedings of the Second International Workshop on Inductive Logic Programming (ILP-92), Tokyo, Japan 1992.

Raymond J. Mooney Faculty mooney [at] cs utexas edu
Bradley Richards Ph.D. Alumni bradley [at] ai-lab fh-furtwangen de