An efficient implementation of PATR for categorial unification grammar
Todd Yampol, Lauri Karttunen · 1990
This paper describes C-PATR, a new C im- plementation of the PATR-II formalism [4, 5] for unification-based grammars. It includes innovations that originate with a project for developing an efficient translator from En- glish to first-order logic [2], most notably the extension of the standard unification algo- rithm for list values [section 3]. In addition the uni:fier and a chart parser tuneel for cate- gorial grammars, the system (C-PATR) con- tains a set of tools necessary for grammar developnent. These tools include facilities for hierarchical lexicon design and interactive grammar debugging [section 4.]