Skip to main content
SpringerLink
Log in

An overview of life

  • Another Look At Data
  • Conference paper
  • First Online:
Next Generation Information System Technology (EWDW 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 504))

Included in the following conference series:

Abstract

LIFE (Logic, Inheritance, Functions, Equations) is an experimental programming language with a powerful facility for structured type inheritance. LIFE reconciles styles from Functional Programming and Logic Programming by implicitly delegating control to an automatic suspension mechanism. This allows interleaving interpretation of relational and functional expressions which specify abstract structural dependencies on objects. Together, these features provide a convenient and versatile power of abstraction for very high-level expression of constrained data structures.

This reports work done while the author was part of the Languages Group of the ACA Systems Technology Laboratory of MCC, in Austin, Texas.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hassan Aït-Kaci. A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures. PhD thesis, University of Pennsylvania, Philadelphia, PA, USA, 1984.

    Google Scholar 

  2. 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. Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115–146, January 1989.

    Google Scholar 

  4. Hassan Aït-Kaci and Patrick Lincoln. LIFE, a natural language for natural language. T. A. Informations, 1991. (To appear).

    Google Scholar 

  5. Hassan Aït-Kaci, Patrick Lincoln, and Roger Nasr. Le Fun: Logic, equations, and functions. In Proceedings of the Symposium on Logic Programming, pages 17–23, San Francisco, CA, USA, September 1987.

    Google Scholar 

  6. Hassan Aït-Kaci and Richard Meyer. Wild_LIFE, a user manual. PRL Technical Note 1, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1990.

    Google Scholar 

  7. 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 

  8. Hassan Aït-Kaci and Roger Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51–89, 1989.

    Google Scholar 

  9. Hassan Aït-Kaci and Andreas Podelski. Is there a meaning to LIFE? Research paper, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1990.

    Google Scholar 

  10. Hassan Aït-Kaci and Andreas Podelski. Functions as passive constraints in LIFE. Research paper, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1991.

    Google Scholar 

  11. William F. Clocksin and Christopher S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, Germany, 2nd edition, 1984.

    Google Scholar 

  12. Robert Harper, Robin Milner, and Mads Tofte. The definition of standard ML — Version 2. Report LFCS-82-62, University of Edinburgh, Edinburgh, UK, 1988.

    Google Scholar 

  13. Peter Landin. The mechanical evaluation of expressions. The Computer Journal, 6(4):308–320, 1963.

    Google Scholar 

  14. Richard O'Keefe. The Craft of Prolog. Series on Logic Programming. MIT Press, Cambridge, MA, USA, 1990.

    Google Scholar 

  15. Samuel Peyton-Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987.

    Google Scholar 

  16. Gert Smolka and Hassan Aït-Kaci. Inheritance hierarchies: Semantics and unification. Journal of Symbolic Computation, 7:343–370, 1989.

    Google Scholar 

  17. Leon Sterling and Ehud Shapiro. The Art of Prolog. Series on Logic Programming. MIT Press, Cambridge, MA, USA, 1986.

    Google Scholar 

  18. David Turner. Miranda—Non-strict functional programming with polymophic types. In Jean-Pierre Jouannaud, editor, Proceedings on the Conference on Functional Programming Languages and Computer Architecture (Nancy, France), pages 1–16, Berlin, Germany, 1985. Springer Verlag. (LNCS 201).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Digital Equipment Corporation, Paris Research Laboratory, 85, avenue Victor Hugo, 92563, Rueil-Malmaison Cedex, France

    Hassan Aït-Kaci

Authors
  1. Hassan Aït-Kaci
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joachim W. Schmidt Anatoly A. Stogny

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aït-Kaci, H. (1991). An overview of life. In: Schmidt, J.W., Stogny, A.A. (eds) Next Generation Information System Technology. EWDW 1990. Lecture Notes in Computer Science, vol 504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54141-1_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-54141-1_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54141-7

  • Online ISBN: 978-3-540-47444-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation