home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / prolog / 2338 < prev    next >
Encoding:
Text File  |  1993-01-08  |  1.7 KB  |  43 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!math.fu-berlin.de!mailgzrz.TU-Berlin.DE!cs.tu-berlin.de!hoppet
  3. From: hoppet@opal.cs.tu-berlin.de (Thomas Hoppe)
  4. Subject: Re: Machine Learning Program Library
  5. Message-ID: <1993Jan8.121958.7970@cs.tu-berlin.de>
  6. Keywords: Machine Learning
  7. Sender: news@cs.tu-berlin.de
  8. Organization: Techn. University of Berlin, Germany
  9. References: <emde.726485815@hercules> <1993Jan8.113247.18728@dcs.qmw.ac.uk>
  10. Distribution: comp.lang.prolog
  11. Date: Fri, 8 Jan 1993 12:19:58 GMT
  12. Lines: 29
  13.  
  14. mmh@dcs.qmw.ac.uk (Matthew Huntbach) writes:
  15.  
  16. >You ought to have Shapiro's model inference system. I am not
  17. >sure if the code is available anywhere, but the text is given
  18. >as an appendix to his thesis "Algorithmic Program Debugging"
  19. >which is published in MIT's Distinguished Dissertation series.
  20. >I wrote an improved version of it, but I used the Poplog
  21. >system, mixing Pop-11 with the Prolog, so it wouldn't be
  22. >translatable.
  23. >
  24. >Matthew Huntbach
  25.  
  26. Yes, that's right. Actually I have re-implemented it already some
  27. years ago and it is still on my stack of programs "to be included in
  28. the lib". Since the behavior of the re-implementation differs from the
  29. behavior published in Shapiro's book and since I have compared the
  30. code over and over again, it seems that the behavior difference is a
  31. result of different Prolog dialects. Thus and because of a lack of
  32. time this program isn't yet in the Lib. Anyway, if I find some time in
  33. the future it will surely be included.
  34.  
  35. If somebody is interested in it, s/he can mail me directly to get it.
  36.  
  37. Thomas Hoppe
  38. --
  39. Thomas Hoppe  Projekt KIT-BACK        email: hoppet@cs.tu-berlin.de
  40. Technische Universitaet Berlin        phone: 030-314-25494
  41. Franklinstr. 28/29            fax  : 030-314-24929
  42. 1000 Berlin 10    Germany            priv.: 030-3236564
  43.