Principles and implementation of deductive parsing

Stuart M. Shieber,Yves Schabes,Fernando C.N. Pereira
DOI: https://doi.org/10.1016/0743-1066(95)00035-i
1995-07-01
The Journal of Logic Programming
Abstract:We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be represented directly as deduction systems, and a single deduction engine can interpret such deduction systems so as to implement the corresponding parser. The method generalizes easily to parsers for augmented phrase structure formalisms, such as definite-clause grammars and other logic grammar formalisms, and has been used for rapid prototyping of parsing algorithms for a variety of formalisms including variants of tree-adjoining grammars, categorial grammars, and lexicalized context-free grammars.
What problem does this paper attempt to address?