Functions as passive constraints in LIFE

  title={Functions as passive constraints in LIFE},
  author={H. A{\"i}t-Kaci and A. Podelski},
  journal={ACM Trans. Program. Lang. Syst.},
  • H. Aït-Kaci, A. Podelski
  • Published 1994
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
  • LIFE is a programming language proposing to integrate logic programming, functional programming, and object-oriented programming. It replaces first-order terms with &psgr;-terms, data structures that allow computing with partial information. These are approximation structures denoting sets of values. LIFE further enriches the expressiveness of &psgr;-terms with functional dependency constraints. We must explain the meaning and use of functions in LIFE declaratively, as solving partial… CONTINUE READING
    54 Citations
    Confluence and Semantics of Constraint Simplification Rules
    • 72
    Towards a Meaning of LIFE
    • 272
    • PDF
    Order Sorted Feature Theory Unification
    • 62
    • PDF
    A Feature Constraint System for Logic Programming with Entailment
    • 96
    • PDF
    A Simple Life Su Doku Solver
    Analysis of Residuating Logic Programs
    • M. Hanus
    • Mathematics, Computer Science
    • J. Log. Program.
    • 1995
    • 23
    Teaching Functional and Logic Programming with a Single Computational Model
    • 10
    • PDF
    The Integration of Functions into Logic Programming: From Theory to Practice
    • M. Hanus
    • Computer Science
    • J. Log. Program.
    • 1994
    • 547
    • PDF


    Abstract Machine, A Tutorial Reconstruction
    • 1991
    Concurrent constrain programming
    • InProceedings of the 7th Annual ACM Symposium on Principles of Programming Languages ,
    • 1990
    Concurrent constraint programmmg
    • In Proceedings c,j the 7th Annual ACM Symposmm on Prmctples of Pro,qramrrrmg L.wgucrges ACM,
    • 1990
    Logic Semantics for a Class of Committed-Choice Programs
    • 238
    • Highly Influential
    Logic semantics for a class of commdted-choice programs In Logic Ptogrammmg
    • Proceedings of 'the 4th Internatwnul Corrferenc
    • 1987
    Umficatlon revis]ted In Fourrdatwn.r of IJeductlve Darubares wrd h)~~c Programmur~
    • 1988
    Unification revisited. InFoundations of Deductive Databases and Logic Programming
    • 1988