Logic, Inheritance, Functions and Equationsparts: interpreter, manual, tests, libraries, examplesParadise Project, DEC Paris Research Laboratory. - Wild_LIFE interpreter from Paradise project at DEC' s Paris Research LabLIFE 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-UltrixMailing list: life-request@prl.dec.comE-mail: Peter Van Roy (1992-12-14)