home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / prolog / 1577 < prev    next >
Encoding:
Text File  |  1992-08-21  |  1.8 KB  |  43 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!sunic!corax.udac.uu.se!corax.udac.uu.se!jonas
  3. From: jonas@csd.uu.se (Jonas Barklund)
  4. Subject: Re: Common courtesy
  5. In-Reply-To: ken@aiai.ed.ac.uk's message of 11 Aug 92 10:21:56 GMT
  6. Message-ID: <1992Aug21.124400.19225@corax.udac.uu.se>
  7. Followup-To: comp.lang.prolog
  8. Sender: news@corax.udac.uu.se
  9. Organization: Uppsala University, Sweden
  10. References: <SWK.92Aug10220513@seymour.mlb.semi.harris.com> <189@syllogi.syllogic.nl>
  11.     <7141@skye.ed.ac.uk>
  12. Date: Fri, 21 Aug 1992 12:44:00 GMT
  13. Lines: 28
  14.  
  15. In article <7141@skye.ed.ac.uk> ken@aiai.ed.ac.uk (Ken Johnson) writes:
  16. >
  17. >   In article <189@syllogi.syllogic.nl> fdb@syllogic.nl (Frank de Bruijn)
  18. >   writes:
  19. >
  20. >   #  ...a meta-interpreter could handle the symmetry, transitivity, etc.  of
  21. >   #  all relations declared as such.  One implementation technique that can
  22. >   #  be used in such a meta-interpreter is to examine the goal stack for an
  23. >   #  earlier call-frame that matches the current call frame.  This works, but
  24. >   #  it's costly......... 
  25. >
  26. >   I hadn't thought of that.  It is a fascinating possibility.  Have you
  27. >   actually implemented anything this way?
  28.  
  29. This is something the metalogic programming language Reflective Prolog
  30. is really good at. In fact, this very problem is one of the first
  31. examples the authors take up in their papers about the language. There
  32. is a paper by Costantini and Lanzarone about Reflective Prolog in the
  33. proceedings of the Lisbon ICLP. There is a slow prototype
  34. implementation available from University of Milan and an efficient
  35. compiling version (of a somewhat modified language) is under
  36. development through a collaboration between University of Uppsala and
  37. University of Milan.
  38.  
  39. -- Jonas B.
  40. --
  41. Jonas Barklund, Computing Science Department, Uppsala University
  42. Email jonas@csd.uu.se, phone +46-18-181050, fax +46-18-521270
  43.