Edinburgh Research Explorer

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. / Bundy, Alan; Brna, P.; Pain, H.

Procs of the ALPUK-90 conference, 'Logic Programming: New Frontiers'. 1992.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bundy, A, Brna, P & Pain, H 1992, A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. in Procs of the ALPUK-90 conference, 'Logic Programming: New Frontiers'.

APA

Bundy, A., Brna, P., & Pain, H. (1992). A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. In Procs of the ALPUK-90 conference, 'Logic Programming: New Frontiers'

Vancouver

Bundy A, Brna P, Pain H. A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. In Procs of the ALPUK-90 conference, 'Logic Programming: New Frontiers'. 1992

Author

Bundy, Alan ; Brna, P. ; Pain, H. / A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. Procs of the ALPUK-90 conference, 'Logic Programming: New Frontiers'. 1992.