You are here: irt.org | FOLDOC | Wild_LIFE
Logic, Inheritance, Functions and Equations
parts: interpreter, manual, tests, libraries, examples
Paradise Project, DEC Paris Research Laboratory.
(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: <life-bugs@prl.dec.com>
ports: MIPS-Ultrix
Mailing list: life-request@prl.dec.com
E-mail: Peter Van Roy <vanroy@prl.dec.com>
(1992-12-14)
Nearby terms: wiggles « wiki « WiLAN « Wild_LIFE » wild card » Wilf Hey » William Gibson
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL