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)
