Feature-Constraint Logics for Unification Grammars

Abstract

This paper studies feature description languages that have been developed for use in uniication grammars, logic programming and knowledge representation. The distinctive notational primitive of these languages are features that can be understood as unary partial functions on a domain of abstract objects. We show that feature description languages can be… (More)
DOI: 10.1016/0743-1066(92)90039-6

Topics

Cite this paper

@article{Smolka1989FeatureConstraintLF, title={Feature-Constraint Logics for Unification Grammars}, author={Gert Smolka}, journal={J. Log. Program.}, year={1989}, volume={12}, pages={51-87} }