A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs

Paul Brna, Alan Bundy, Helen Pain. A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. In ALPUK. pages 22-55, 1990.

Abstract

Abstract is missing.