Feature-Constraint Logics for Unification Grammars


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


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