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.

@inproceedings{BrnaBP90,
  title = {A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs},
  author = {Paul Brna and Alan Bundy and Helen Pain},
  year = {1990},
  tags = {Prolog, debugging},
  researchr = {https://researchr.org/publication/BrnaBP90},
  cites = {0},
  citedby = {0},
  pages = {22-55},
  booktitle = {ALPUK},
}