Prolog Debuggers

Thread View: comp.lang.prolog

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Bill Roth Sun, 08 Nov 1992 19:40

#1567

Author: Bill Roth
Date: Sun, 08 Nov 1992 19:40

14 lines
894 bytes

Is there such a thing as a Prolog "debugger"? I'm doing work right now in 
building a rule-based debugger for a Prolog-based database language, 
and I was wondering if anything like this had been done before.

If anyone has seen anything like a  prolog rule debugger, could you 
please send me a reference?

Thanks.

-- 

-------------------------------------------------------------------
Bill Roth, University of Wisconsin Computer Sciences Dept.
Internet: roth@cs.wisc.edu. BITNET: ROTH@WISCPSL. HEPNET: PSL::ROTH

Re: Prolog Debuggers

#1569

Author: Matthew Huntbach
Date: Mon, 09 Nov 1992 09:33

25 lines
1477 bytes

From: roth@cs.wisc.edu (Bill Roth)
>Is there such a thing as a Prolog "debugger"? I'm doing work right now in
>building a rule-based debugger for a Prolog-based database language,
>and I was wondering if anything like this had been done before.
>
>If anyone has seen anything like a  prolog rule debugger, could you
>please send me a reference?

There is a lot of work on Prolog debuggers. I think most of the
big conferences on logic programming have a paper or two on
debugging. Besides the usual trace-based debugging techniques,
Prolog also enables the technique of "declarative debugging"
which attempts to bring a logical automated approach to
debugging. The classic reference to this is E.Shapiro's thesis
"Algorithmic Program Debugging", published by MIT press. My own
thesis is also on this subject (unpublished, but copies
available on request).

Matthew Huntbach
Dept. of Computer Science
Queen Mary and Westfield College
Mile End Road
London E1 4NS, UK

email: mmh@dcs.qmw.ac.uk

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads