Memoization of coroutined constraints
Mark S. Johnson, Jochen Dörre · 1995
Some linguistic constraints cannot be effectively resolved during parsing at the location in which they are most naturally introduced.This paper shows how constraints can be propagated in a memoizing parser (such as a chart parser) in much the same way that variable bindings are, providing a general treatment of constraint coroutining in memoization.Prolog code for a simple application of our technique to Bouma and van Noord's (1994) categorial grammar analysis of Dutch is provided.