Logic of Inheritance, Functions and Equations.An object-oriented, functional, constraint-based language by Hassan Ait-Kacy 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)