home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / prolog / 1662 < prev    next >
Encoding:
Text File  |  1992-09-08  |  1.6 KB  |  47 lines

  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!pipex!warwick!bham!news.cs.bham.ac.uk!axs
  3. From: axs@cs.bham.ac.uk (Aaron Sloman)
  4. Subject: Re: Wanted: production system/coroutiner
  5. Message-ID: <Bu5L4w.GtL@cs.bham.ac.uk>
  6. Sender: news@cs.bham.ac.uk
  7. Nntp-Posting-Host: fattie
  8. Organization: School of Computer Science, University of Birmingham, UK
  9. References: <1992Aug25.202004.8511@vax.oxford.ac.uk> <275@ininx.UUCP> <1992Sep5.183756.8683@vax.oxford.ac.uk>
  10. Date: Sun, 6 Sep 1992 10:58:07 GMT
  11. Lines: 34
  12.  
  13. popx@vax.oxford.ac.uk writes:
  14.  
  15. > Date: 5 Sep 92 17:37:56 GMT
  16. > Organization: Oxford University VAX 6620
  17.  
  18. > I want my meta-interpreter to be capable of co-routining _large_
  19. > programs (animal "brains", containing production systems, planners,
  20. > etc), so time and space efficiency is important.
  21.  
  22. It is possible that someone has said this already, but if you don't
  23. insist on portability you can use the "lightweight process"
  24. mechanism in Poplog, which works with prolog, I believe. For details
  25. see the online Poplog file
  26.  
  27.     REF PROCESS
  28.  
  29. which describes consproc, runproc, suspend, resume. LIB TPARSE,
  30. described in HELP TPARSE illustrautes the use of the mechanism in a
  31. simple top down parser written in Pop-11 that finds all parses by
  32. backtracking.
  33.  
  34. For information on using the mechanism with Prolog see the prolog
  35. help file
  36.     PLOGHELP PROCESSES
  37.  
  38. You may need help from someone who has already done this, e.g. one
  39. of the Sussex Poplog people.
  40.  
  41. Aaron
  42. -- 
  43. Aaron Sloman, School of Computer Science,
  44. The University of Birmingham, B15 2TT, England
  45. EMAIL   A.Sloman@cs.bham.ac.uk
  46. Phone: +44-(0)21-414-3711       Fax:   +44-(0)21-414-4281
  47.