The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Logic Programming: New Frontiers
Editors:Brough, D.R.
Book#: 1-871516-25-0
Publisher:Kluwer, Netherlands
Pages: 22-55

Paper in Conference Proceedings #233

Title:a Framework for the Principled Debugging of PROLOG Programs: How to Debug Non-Terminating Programs
Authors:Bundy,A; Brna,P; Pain,HG
Date: 1992
Keywords:prolog, logic programming, debugging

[Search These Pages] [DAI Home Page] [Comment]