Re: Prolog Debuggers

Article View: comp.lang.prolog

Article #1569

#1569

From: 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

Technical Details

Message-ID: <1992Nov9.093324.11857@dcs.qmw.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!qmw-dcs!usenet

References: <1992Nov8.194028.2627@cs.wisc.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!qmw-dcs!usenet
From: mmh@cs.qmw.ac.uk (Matthew Huntbach)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog Debuggers
Message-ID: <1992Nov9.093324.11857@dcs.qmw.ac.uk>
Date: 9 Nov 92 09:33:24 GMT
References: <1992Nov8.194028.2627@cs.wisc.edu>
Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
Organization: Computer Science Dept, QMW, University of London, UK.
Lines: 25
Nntp-Posting-Host: coffee.dcs.qmw.ac.uk

Reply to Parent Message