LogiC of InheritanCe, FunCtions and Equations. An objeCt-oriented, funCtional, Constraint-based language by Hassan Ait-KaCy C.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)