Logic, Inheritance, Functions and Equations parts: iNTerpreter, manual, tests, libraries, examples Paradise Project, DEC Paris Research Laboratory. - 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: ports: MIPS-Ultrix Mailing list: life-request@prl.dec.com E-mail: Peter Van Roy (1992-12-14)