Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Logic Programming: New Frontiers
| Editors: | Brough, D.R.
| Book#: | 1-871516-25-0
| Publisher: | Kluwer, Netherlands
| Volume: | MISSING
| 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 |
Presented: | |
Keywords: | prolog, logic programming, debugging |