Brna, P.

Bundy, Alan

Pain, H.

English

The searchfor better Prolog debugging environments has taken a number of dif- ferent paths of which three are particularly important: improvements to monitoring tools (notably the TransparentProlog Machine (Eisenstadt &amp; Brayshaw, 1987)),pro- viding for greater user control over the debugging process (notably as in Opium+ (Ducasse,1988)), and partially automating the debugging process (notably in; (Pereira, 1986;l.loyd, 1986; Pereira &amp; Calejo, 1988; Naish, 19,88)). A seriousproblem associatedwith this activity lies in pro~ding a principled con-!- ceptual framework within which the programmer can work with a number of different' debugging tools. Here, we outline a framework that we have'developed for the de- bugging of Prolog programs. We point out the relationship that holds betweenthis framework and eachof these three advancesin debugging. .' In order to demonstrate how the framework can be used,we explore an issue that has received relatively little attention recently: the run-time detection of programs that do not appear to terminate. Our analysisof (apparent) non-termination is based on a four level Bug Descrip- tion Framework that we have developed. This analysis goes further than the con- sideration of programs that would normally be regarded as 'looping'. We describe a debugging strategy in conjunction with a range of monitoring tools that provide greater assistancethan currently found, We indicate the increased efficiency that would be gained through a close-couplingof the program construction and execution phases. Fromthisanalysis,weseethat current(non-graphical)debuggingtoolsdonotpro- vide the necessaryhelp to deal with the caseof (apparent) non-termination. We also note that even a graphical debugger such as TPM (Eisenstadt &amp; Brayshaw, 1987) does not provide all the desired assistancethat we would like

Edinburgh Research Explorer

A Data tracing System for Prolog Novices.

A framework for Prolog debugging.

A goal-plan analysis of buggy pascal programs. Human-Computer Interaction,

A Practical Tracer for Prolog.

Algoiithmic debugging with assertions.

Algorithmic Program Debugging.

Declarative Diagnosis of Missing Answers.

Declarative Error Diagnosis.

Efficient loop detection in Prolog using the tortoise-andhare technique.

Eliminating unwanted loops in Prolog.

Opium+, a meta-interpreter for Prolog.

Programming tools for Prolog environments.

Prolog Programming Techniques.

Proposal/or a Recursive Techniques Editor lor Prolog. Research Paper 394, Department of Artificial Intelligence, Edinburgh, Submitted to the special issue of Instructional Science on Learning Prolog: Tools and Related Issues.

Rational debugging in logic programming.

The debugging environment.

The Treatment 01 Loops in Logic Programming.

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

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

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer