In this section, we develop an Oz implementation of the constraint model presented in the preceding section. It consists of several functors and reuses functor Encode developed in Chapter 3.
Encode
Entry.oz
Lexicon.oz
Gamma.oz
Parser.oz
DG.oz
DTreeFrame.oz