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)