home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / prolog / 1579 < prev    next >
Encoding:
Internet Message Format  |  1992-08-21  |  2.6 KB
  1. Path: sparky!uunet!bonnie.concordia.ca!IRO.UMontreal.CA!kovic.IRO.UMontreal.CA.IRO.UMontreal.CA!tarau
  2. From: tarau@IRO.UMontreal.CA (Paul Tarau)
  3. Newsgroups: comp.lang.prolog
  4. Subject: BinProlog 1.39
  5. Message-ID: <1992Aug22.022633.1540@IRO.UMontreal.CA>
  6. Date: 22 Aug 92 02:26:33 GMT
  7. Sender: news@IRO.UMontreal.CA
  8. Reply-To: tarau@IRO.UMontreal.CA (Paul Tarau)
  9. Distribution: comp.lang.prolog
  10. Organization: Universite de Montreal
  11. Lines: 58
  12.  
  13. A new version (1.39) of BinProlog for SPARC, SUN3, NEXT and 386/486 is
  14. now available.
  15.  
  16. BinProlog is free for research and other non-profit purposes.
  17.  
  18. The compiler makes 215 KLIPS (on Sparc 2) and still uses a very small
  19. (41K) emulator.
  20.  
  21. The NEXT version (101 KLIPS) is a new addition to the distribution.
  22.  
  23. You can get it by anonymous ftp from:
  24.  
  25.  139.103.16.2 (clement.info.umoncton.ca) in the directory BinProlog. 
  26.  
  27. FILES:
  28.  
  29. ====>  binpro.1.39.tar.Z -- BinProlog 1.39 for Sparc, sun3, Next and 386
  30. ---->  papers.tar.Z -- papers related to the implementation
  31.  
  32. A NEW data area ("the blackboard") has been added, where heap-based
  33. terms can be stored and accessed efficiently with a a 2-key hashing function.
  34.  
  35. The copying algorithm is relatively smart: parts of the heap objects
  36. already on the blackboard are not copied but just "pointed to".
  37.  
  38. Operationally, the blackboard looks "older" than everything on the heap.
  39.  
  40. Objects on the blackboard have indefinite extent. Their
  41. "names" however, are "rigid designators" that can change their reference.
  42. If the garbage collector "can prove" that an object or some part of it
  43. will never be used again, the space is eventually recuperated.
  44. Although objects cannot be "changed" they can be further instantiated as it happens to ordinary Prolog terms.
  45.  
  46. Otherwise, objects on the blackboard behave logically: they can be unified,
  47. they are subject to backtracking and so on.
  48.  
  49. The blackboard can be used either through a Linda-style interface
  50. or through an assert-retract style interface. It also gives constant-time
  51. sparse arrays and lemmas.
  52.  
  53. A lot of basic Prolog utilities have been added (dynamic clauses,
  54. a metainterpreter with tracing facility, sort, setof, dynamic operators
  55. and more arithmetic).
  56.  
  57. Now BinProlog can manipulate continuations as first order objects,
  58. using 3 blackboard-based primitives, push_cc/0 call_cc/0 and pop_cc/0.
  59.  
  60. A few programs (an automatic Tetris player, a knight-tour, an OR-parallel
  61. simulator, Fibonacci & tak with lemmas) illustrate some of the new features.
  62.  
  63. Please send comments and bug reports to binprolog@info.umoncton.ca.
  64.  
  65. Paul Tarau,
  66. Dept. of Computer Science,
  67. Universite de Moncton,
  68. Moncton N.B.
  69. CANADA E1A-3E9
  70. E-MAIL: tarau@info.umoncton.ca
  71.