<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].
(1995-04-21)
Try this search on Wikipedia, OneLook, Google
Nearby terms: LIDO « LiE « LIF « LIFE » Life » life » life-cycle
