< 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 ]
(1995-04-21)