Paper: Compiling HPSG Type Constraints Into Definite Clause Programs

ACL ID P95-1012
Title Compiling HPSG Type Constraints Into Definite Clause Programs
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1995
Authors

We present a new approach to HPSG pro- cessing: compiling HPSG grammars ex- pressed as type constraints into definite clause programs. This provides a clear and computationally useful correspondence between linguistic theories and their im- plementation. The compiler performs off- line constraint inheritance and code opti- mization. As a result, we are able to effi- ciently process with HPSG grammars with- out haviog to hand-translate them into def- inite clause or phrase structure based sys- tems.