LIFE

Logic of Inheritance, Functions and Equations

Hassan Ait-Kacy et al, MCC, Austin, 1987

A language which is object-oriented, functional, and constraint-based. It is an integration of ideas from LOGIN and LeFun.

"Is There a Meaning to LIFE?", H. Ait-Kacy et al, International Conference on Logic Programming, 1991.