LIFE(ID:1335/lif001)

Logic of Inheritance, Functions and Equations.

Hassan Ait-Kaci  et al, MCC, Austin, 1987.

Object-oriented, functional, and constraint-based.

from CMU AI gloss:
"An experimental language proposing to integrate three orthogonal programming paradigms proven useful for symbolic computation. From a beginners standpoint, it maybe perceived as a language taking after logic, functional,and OOPing. From a formal perspective, it maybe seen as an instance or rather, a composition of three instances) of a Constraint Logic Programming SCHEME due to Hoehfeld and Smolka refining that of Jaffer and Lassez."



People:
Structures:
Related languages
LeFun => LIFE   Derivation of
LOGIN => LIFE   Derivation of
LIFE => Half Life   Subsumed
LIFE => OZ   Influence
LIFE => Wild Life   Extension of
References:
  • Ait-­Kaci, Hassan and Patrick Lincoln. "LIFE - A natural language for natural language" pp37-67 view details
          in T.A. Informations, 30(1--2) (1989). Association pour le Traitement Automatique des Langues, Paris, France view details
  • Ait­Kaci, Hassan "Is There a Meaning to LIFE?" view details
          in International Conf on Logic Programming, 1991 view details
  • Ait-Kaci, Hassan and Andreas Podelski "Towards a meaning of LIFE" view details
          in Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer­Verlag, LNCS 528 (August 1991). view details
  • Ait-Kaci, Hassan and Andreas Podelski. "Functions as passive constraints in LIFE" PRL Research Report 13, Digital Equipment Corporation, Paris Research Laboratory, Rueil­Malmaison, France (1991). view details
          in Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer­Verlag, LNCS 528 (August 1991). view details
  • Ait-Kaci, Hassan and Andreas Podelski. Towards a meaning of LIFE. PRL Research Report 11, Digital Equipment Corporation, Paris Research Laboratory, Rueil­Malmaison, France (1991). view details
          in Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer­Verlag, LNCS 528 (August 1991). view details
  • Meyer, Richard Compiling LIFE. Technical Report 8, Digital Equipment Corporation, Paris Research Laboratory (September 1993). Research Report Draft March 1994 view details
          in Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer­Verlag, LNCS 528 (August 1991). view details
    Resources