Logic, Inheritance, Functions and equations parts: interpreter, manual, tests, libraries, examples Paradise Project, DeC Paris Research Laboratory. ef="ftp://gatekeeper.dec.com/pub/plan/Life.tar.Z"> - Wild_LIFe interpreter from Paradise project at DeC' s Paris Research Lab LIFe is an experimental programming language with a powerful facility for structured type inheritance. It reconciles styles from functional programming, logic programming, and object-oriented programming. LIFe implements a constraint logic programming language with equality (unification) and entailment (matching) constraints over order-sorted feature terms. The Wild_LIFe interpreter has a comfortable user interface with incremental query extension ability. It contains an extensive set of built-in operations as well as an X Windows interface. A semantic superset of LOGIN and LeFun. Syntax is similar to prolog. bugs: e-bugs@prl.dec.com> ports: MIPS-Ultrix Mailing list: life-request@prl.dec.com e-mail: Peter Van Roy ec.com> (1992-12-14)
