next up previous contents
Next: An Expression Grammar Up: Programming in Tabled Prolog Previous: Datalog Optimization in XSB


In this chapter we will explore how tabling can be used when writing DCG grammars in XSB. Tabling eliminates redundancy and handles grammars that would infinitely loop in Prolog. This makes the ``parser you get for free'' in XSB one that you might well want to use.


David S. Warren