A feature constraint system for logic programming with entailment
- 3 January 1994
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 122 (1-2), 263-283
- https://doi.org/10.1016/0304-3975(94)90209-7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Feature-constraint logics for unification grammarsThe Journal of Logic Programming, 1992
- Inheritance hierarchies: Semantics and unificationJournal of Symbolic Computation, 1989
- 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