Towards a meaning of LIFE

  • Hassan Aït-Kaci
  • Andreas Podelski
Invited Lecture
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 528)

Abstract

LIFE (Logic, Inheritance, Functions, Equations) is an experimental programming language proposing to integrate three orthogonal programming paradigms proven useful for symbolic computation. From the programmer's standpoint, it may be perceived as a language taking after logic programming, functional programming, and object-oriented programming. ?From a formal perspective, it may be seen as an instance (or rather, a composition of three instances) of a Constraint Logic Programming scheme due to Hvhfeld and Smolka refining that of Jaffar and Lassez.

We start with an informal overview demonstrating LIFE as a programming language, illustrating how its primitives offer rather unusual, and perhaps (pleasantly) startling, conveniences. The second part is a formal account of LIFE's object unification seen as constraint-solving over specific domains. We build on work by Smolka and Rounds to develop type-theoretic, logical, and algebraic renditions of a calculus of order-sorted feature approximations.

Keywords

Logic Program Logic Programming Operational Semantic Functional Programming Digital Equipment Corporation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AK84]
    Hassan Aït-Kaci. A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Types. PhD thesis, University of Pennsylvania, Philadelphia, PA, 1984.Google Scholar
  2. [AK86]
    Hassan Aït-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293–351, 1986.Google Scholar
  3. [AKN86]
    Hassan Aït-Kaci and Roger Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215, 1986.Google Scholar
  4. [AKN89]
    Hassan Aït-Kaci and Roger Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51–89, 1989.Google Scholar
  5. [AKNL87]
    Hassan Aït-Kaci, Roger Nasr, and Patrick Lincoln. Le Fun: Logic, equations, and Functions. In Proceedings of the Symposium on Logic Programming (San Francisco, CA), pages 17–23, Washington, DC, 1987. IEEE, Computer Society Press.Google Scholar
  6. [AKP91a]
    Hassan Aït-Kaci and Andreas Podelski. Towards the meaning of LIFE. PRL Research Report 11, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1991.Google Scholar
  7. [AKP91b]
    Hassan Aït-Kaci and Andreas Podelski. Functions as passive constraints in LIFE. PRL Research Report 13, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1991.Google Scholar
  8. [CM84]
    William F. Clocksin and Christopher S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, Germany, 2nd edition, 1984.Google Scholar
  9. [DR90]
    Jochen Dörre and William C. Rounds. On subsumption and semiunification in feature algebras. In Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science (Philadelphia, PA), pages 301–310, Washington, DC, 1990. IEEE, Computer Society Press.Google Scholar
  10. [HS88]
    Markus Höhfeld and Gert Smolka. Definite relations over constraint languages. LILOG Report 53, IWBS, IBM Deutschland, Stuttgart, Germany, October 1988, To appear in the Journal of Logic Programming.Google Scholar
  11. [JL87]
    Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, W. Germany, January 1987.Google Scholar
  12. [O'K90]
    Richard O'Keefe. The Craft of Prolog. MIT Press, Cambridge, MA, 1990.Google Scholar
  13. [Smo88]
    Gert Smolka. A feature logic with subsorts. LILOG Report 33, IWBS, IBM Deutschland, Stuttgart, Germany, May 1988.Google Scholar
  14. [Smo89]
    Gert Smolka. Feature constraint logics for unification grammars. IWBS Report 93, IWBS, IBM Deutschland, Stuttgart, Germany, November 1989. To appear in Journal of Logic Programming.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Hassan Aït-Kaci
    • 1
  • Andreas Podelski
    • 2
  1. 1.Digital Equipment CorporationParis Research LaboratoryRueil-MalmaisonFrance
  2. 2.L. I. T. P., Universiti de Paris 7Paris Cedex 05France

Personalised recommendations