home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / archives / 3759 < prev    next >
Encoding:
Internet Message Format  |  1992-12-14  |  5.6 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!sdd.hp.com!spool.mu.edu!agate!agate!usenet
  2. From: vanroy@prl.dec.com (Peter Van Roy)
  3. Newsgroups: comp.archives
  4. Subject: [comp.ai] First release of the Wild_LIFE system
  5. Followup-To: comp.ai
  6. Date: 14 Dec 1992 08:16:53 GMT
  7. Organization: Digital Equipment Corporation - Paris Research Laboratory
  8. Lines: 124
  9. Sender: adam@soda
  10. Approved: adam@soda
  11. Distribution: world
  12. Message-ID: <1ghftlINNla7@agate.berkeley.edu>
  13. References: <1992Dec10.095750.14843@prl.dec.com>
  14. NNTP-Posting-Host: soda.berkeley.edu
  15. X-Original-Newsgroups: comp.ai
  16. X-Original-Date: Thu, 10 Dec 1992 09:57:50 GMT
  17.  
  18. Archive-name: auto/comp.ai/First-release-of-the-Wild-LIFE-system
  19.  
  20. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  21.  
  22.  
  23.                   _/          _/
  24.  
  25.    _  _/  /  /   /   _/      /   _/
  26.      /   _  /   /   \       /   \
  27.    _/  _/ _/  _/ ___/     _/ ___/
  28.  
  29.  
  30.           _/                          _/
  31.  
  32.        /      /  /   /     _ \       /       /   ___/  ___/
  33.        / _/ _/  /   /     /  /      /       /   /     /  
  34.        _/ _/  _/  ____/ ____/      /       /   __/   __/
  35.                   /       /   /     /  
  36.                 _____/  _/  _/    _____/   _/ _/ _/
  37.  
  38.  
  39. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  40.  
  41. Wild_LIFE is here at last!
  42.  
  43. The Wild_LIFE interpreter is the first implementation of the LIFE
  44. language available to the general public.  It is a product of the
  45. Paradise project at the DEC Paris Research Laboratory.
  46.  
  47. LIFE (Logic, Inheritance, Functions, and Equations) is an experimental
  48. programming language with a powerful facility for structured type
  49. inheritance. It reconciles styles from functional programming, logic
  50. programming, and object-oriented programming. It subsumes, and fully
  51. contains the functionality of, the precursor languages LOGIN and Le_Fun.
  52. The syntax of Wild_LIFE has been kept as close as possible to that of the
  53. Edinburgh family of Prolog so that Prolog compatibility is easy to
  54. achieve.
  55.  
  56. From a theoretical point of view, LIFE implements a constraint logic
  57. programming language with equality (unification) and entailment (matching)
  58. constraints over order-sorted feature terms. The interplay of unification
  59. and matching provides an implicit coroutining facility thanks to an
  60. automatic suspension mechanism.  This allows interleaving interpretation
  61. of relational and functional expressions which specify structural
  62. dependencies on objects.
  63.  
  64. The Wild_LIFE interpreter is a fully functional implementation of the
  65. LIFE language.  It has been extensively tested on DECstations running
  66. Ultrix, although it should not be hard to port to other Unix
  67. workstations.  It has a comfortable user interface with incremental
  68. query extension ability.  It contains an extensive set of built-in
  69. operations as well as an X Windows interface.
  70.  
  71. This release contains the following:
  72.  
  73. 1. The C and LIFE source code of Wild_LIFE.
  74.  
  75. 2. A set of non-trivial example programs including an incremental Gaussian
  76.    equation solver, a PERT scheduler, a full LIFE parser, a flower-drawing
  77.    program that handles X events, uses an X toolkit and a 3D turtlegraphics
  78.    package written in LIFE and compiles rewrite rules into LIFE.
  79.  
  80. 3. A draft user manual.
  81.  
  82. 4. An extensive test suite to verify the correct working of the interpreter.
  83.  
  84. The system is available by anonymous ftp from gatekeeper.dec.com.
  85. After logging in, enter the command "cd pub/plan" to go to the right
  86. directory, and then "bin" to go to binary transfer mode.  Then enter
  87. the command "get Life.tar.Z" to get the system.  Uncompress and untar
  88. this file to obtain the Life/ directory.  Read Life/README for further
  89. instructions.
  90.  
  91. The Paradise project has written many articles and research reports on
  92. various aspects of LIFE.  Read Life/README for instructions on how to
  93. get copies.
  94.  
  95. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  96.  
  97. Relevant electronic mail addresses:
  98.  
  99.    Here are email addresses that are relevant to LIFE and Paradise:
  100.  
  101.    life-users@prl.dec.com
  102.  
  103.       This is a mailing list of people using LIFE or interested in
  104.       specific aspects of LIFE, whether theory, implementation, or
  105.       applications. It is meant as a public forum to answer FAQ's and
  106.       share programs and ideas. It is not meant to report bugs, although
  107.       it may be used to ask public opinions about surprising behavior of
  108.       Wild_LIFE that may turn out to be a bug and to warn others against
  109.       confirmed bugs.
  110.  
  111.    life-request@prl.dec.com
  112.  
  113.       This address is to be used to request to be be put on, or removed
  114.       from, the life-users mailing list.
  115.  
  116.    life-bugs@prl.dec.com
  117.  
  118.       When you strongly suspect a bug (i.e., after reading the manual,
  119.       the life-users' FAQ's, and polling life-users's opinion about the
  120.       symptoms), try to find the *smallest* program that illustrates the
  121.       bug and mail it to this address together with a script that shows
  122.       the bug.
  123.  
  124.    paradise@prl.dec.com
  125.  
  126.       This is PRL's local LIFE community. That is, all the PRL people
  127.       involved in some activity in the Paradise project at PRL. Use this
  128.       for general communication of matters of interest to this group
  129.       alone. 
  130.  
  131. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  132.  
  133. ----------------------------------------------------------------
  134. Peter Van Roy
  135. Digital Equipment Corporation          Net: vanroy@prl.dec.com
  136. Paris Research Laboratory              Tel: (33) (1) 47 14 28 65
  137. 85, avenue Victor Hugo                 Fax: (33) (1) 47 14 28 99
  138. 92500 Rueil-Malmaison Cedex           Home: (33) (1) 30 61 41 29
  139. France
  140. ----------------------------------------------------------------
  141.  
  142.