AI.ELLIE@MCC.COM (Ellie Huck) (04/24/87)
Please join the AI Program for the following speaker:
David Plummer
University of Texas
April 29 - 10:00am
MCC Auditorium
Coda: An extended debugger for PROLOG
=====================================
In this talk I will describe @b<Coda>, an extension of the @i<de
facto> standard debugger which presents more information about the
execution of the program to the user as the program is debugged.
@b<Coda> extends the standard debugger in a number of ways. First,
@b<Coda> allows the user to interact with the pattern matching
computation step. Thus the reason for the failure of a particular
goal may be more precisely determined by the programmer. Second,
@b<Coda> displays the program trace in terms of the clauses of the
program rather than the goals that are executed. Thus, the program
trace is directly related to the program that was written, and is at a
level more appropriate to the programmer than that of the standard
debugger. Finally, @b<Coda> allows finer control over the information
that is displayed by the debugger, by an extended command set and a
more powerful language for describing " spy points".
April 29 - 10:00am
MCC Auditorium
-------