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.