tool: Wild_LIFE

---

Language:	LIFE (Logic, Inheritance, Functions, and Equations)
Version:	first-release
Parts:	interpreter, manual, tests, libraries, examples
Author:	Paradise Project, DEC Paris Research Laboratory.
Location:	ftp://gatekeeper.dec.com/pub/plan/Life.tar.Z
Description:	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.
Conformance:	semantic superset of LOGIN and LeFun. Syntax is similar to prolog.
Bugs:	life-bugs@prl.dec.com
Ports:	MIPS-Ultrix
Portability:	good in theory
Discussion:	life-request@prl.dec.com
Contact:	Peter Van Roy <vanroy@prl.dec.com>
Updated:	December 14th, 1992

category: functional languages summary, or expanded.

category: graphic user interface support summary, or expanded.

category: logic programming languages summary, or expanded.