H ? « ‹ ← → › »

Language peer sets for LIFE:
United States↑
United States/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

LIFE(ID:1335/lif001)

alternate simple view
Country: United States
Designed 1987
Published: 1987

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. (1989) Ait-­Kaci, Hassan and Patrick Lincoln. "LIFE - A natural language for natural language" pp37-67
          in T.A. (1989) T.A. Informations, 30(1--2) (1989). Association pour le Traitement Automatique des Langues, Paris, France
  • Ait­Kaci, Hassan (1991) Ait­Kaci, Hassan "Is There a Meaning to LIFE?"
          in (1991) International Conf on Logic Programming, 1991
  • Ait-Kaci, Hassan and Andreas Podelski (1991) Ait-Kaci, Hassan and Andreas Podelski "Towards a meaning of LIFE"
          in Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) 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).
  • Ait-Kaci, Hassan and Andreas Podelski. (1991) 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).
          in Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) 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).
  • Ait-Kaci, Hassan and Andreas Podelski. (1991) 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).
          in Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) 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).
  • Meyer, Richard Compiling LIFE. (1994) Meyer, Richard Compiling LIFE. Technical Report 8, Digital Equipment Corporation, Paris Research Laboratory (September 1993). Research Report Draft March 1994
          in Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) 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).
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder