Towards a meaning of life
- 31 August 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 16 (3-4) , 195-234
- https://doi.org/10.1016/0743-1066(93)90043-g
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Order-sorted feature theory unificationThe Journal of Logic Programming, 1997
- Functions as passive constraints in LIFEACM Transactions on Programming Languages and Systems, 1994
- Feature-constraint logics for unification grammarsThe Journal of Logic Programming, 1992
- Towards a meaning of LIFEPublished by Springer Nature ,1991
- Integrating logic and functional programmingHigher-Order and Symbolic Computation, 1989
- An algebraic semantics approach to the effective resolution of type equationsTheoretical Computer Science, 1986
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986