3. Logic of Inheritance, Functions and Equations (LIFE) An object-oriented, functional, constraint-based language by Hassan Ait-Kacy <[email protected]> et al of MCC, Austin TX, 1987. LIFE integrates ideas from LOGIN and LeFun.See also Wild_LIFE. ["Is There a Meaning to LIFE?", H. Ait-Kacy et al, Intl Conf on Logic Prog, 1991].
Last updated: 2015-05-04