5.3 A Bottom-Up Recognizer

We now show how to implement such a recognizer in Oz. We do this by implementing the inferential closure algorithm for grammatical rules. As such, this section is not merely about parsing: it really illustrates how to write an inferential closure algorithm.

• 5.3.1 Grammar Rules

• 5.3.2 Agenda

• 5.3.3 Bag

• 5.3.4 Parse

• 5.3.5 The Complete Program