LIFE

<language> Logic of Inheritance, Functions and Equations.

An object-oriented, functional, constraint-based language by Hassan Ait-Kacy <hak@prl.dec.com> et al of MCC, Austin TX, 1987. LIFE integrates ideas from LOGIN and LeFun.

Mailing list: life-users@prl.dec.com.

See also Wild_LIFE.

["Is There a Meaning to LIFE?", H. Ait-Kacy et al, Intl Conf on Logic Prog, 1991].

[Jargon File]

Nearby terms:
LIDO « LiE « LIF « LIFE » Life » life » life-cycle