home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / prolog / 2042 < prev    next >
Encoding:
Internet Message Format  |  1992-11-09  |  1.4 KB
  1. Path: sparky!uunet!pipex!warwick!uknet!qmw-dcs!usenet
  2. From: mmh@cs.qmw.ac.uk (Matthew Huntbach)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Prolog Debuggers
  5. Message-ID: <1992Nov9.093324.11857@dcs.qmw.ac.uk>
  6. Date: 9 Nov 92 09:33:24 GMT
  7. References: <1992Nov8.194028.2627@cs.wisc.edu>
  8. Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
  9. Organization: Computer Science Dept, QMW, University of London, UK.
  10. Lines: 25
  11. Nntp-Posting-Host: coffee.dcs.qmw.ac.uk
  12.  
  13. From: roth@cs.wisc.edu (Bill Roth)
  14. >Is there such a thing as a Prolog "debugger"? I'm doing work right now in
  15. >building a rule-based debugger for a Prolog-based database language,
  16. >and I was wondering if anything like this had been done before.
  17. >
  18. >If anyone has seen anything like a  prolog rule debugger, could you
  19. >please send me a reference?
  20.  
  21. There is a lot of work on Prolog debuggers. I think most of the
  22. big conferences on logic programming have a paper or two on
  23. debugging. Besides the usual trace-based debugging techniques,
  24. Prolog also enables the technique of "declarative debugging"
  25. which attempts to bring a logical automated approach to
  26. debugging. The classic reference to this is E.Shapiro's thesis
  27. "Algorithmic Program Debugging", published by MIT press. My own
  28. thesis is also on this subject (unpublished, but copies
  29. available on request).
  30.  
  31. Matthew Huntbach
  32. Dept. of Computer Science
  33. Queen Mary and Westfield College
  34. Mile End Road
  35. London E1 4NS, UK
  36.  
  37. email: mmh@dcs.qmw.ac.uk
  38.