home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / prolog / 1660 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.8 KB
  1. Path: sparky!uunet!pipex!warwick!uknet!comlab.ox.ac.uk!oxuniv!popx
  2. From: popx@vax.oxford.ac.uk
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Wanted: production system/coroutiner
  5. Message-ID: <1992Sep5.183756.8683@vax.oxford.ac.uk>
  6. Date: 5 Sep 92 17:37:56 GMT
  7. References: <1992Aug25.202004.8511@vax.oxford.ac.uk> <275@ininx.UUCP>
  8. Organization: Oxford University VAX 6620
  9. Lines: 31
  10.  
  11. > In article <1992Aug25.202004.8511@vax.oxford.ac.uk>,
  12. > popx@vax.oxford.ac.uk writes:
  13. > > I'm looking for ... a meta-interpreter for implementing coroutines.
  14. > >
  15. > Have you seen L.M. Pereira's "Logic control with logic" in
  16. > _Implementations of Prolog_, J.A. Campbell editor, Ellis Horwood
  17. > Limited, 1984? Section 2.2 of the paper is entitled "An Interpreter to
  18. > Control Coroutining".
  19. >
  20. > John E. Kreznar, jkreznar@ininx.com, uunet!ininx!jkreznar
  21. >
  22. Yes I have, thanks for the reference. I was hoping to get a reply from
  23. someone who had used such a meta-interpreter seriously, and who had
  24. optimised it. The code in Pereira's article is easy to read, but (for
  25. that reason), not as efficient as it could be.
  26.  
  27. Pereira gives a listing, and then says "Although this rendering of the
  28. interpreter is clearer than others, it is not very efficient as it
  29. stands. Use of the cut, more indexing, and non-normalised resolvents
  30. and clause bodies permit much more efficient versions, even surpassing
  31. in efficiency compiled Prolog in the case of programs that do benefit
  32. much from the special control. They also surpass lower-level
  33. implementations (see Filgueiras, M: "On the implementation of control
  34. in logic programming languages", Research Report, Departmento de
  35. Informa'tica, Universidade Nova de Lisboa, 1984).
  36.  
  37. I want my meta-interpreter to be capable of co-routining _large_
  38. programs (animal "brains", containing production systems, planners,
  39. etc), so time and space efficiency is important.
  40.  
  41. Jocelyn Paine         
  42.