8.1 Extra arguments

In the previous lecture we only scratched the surface of DCG notation: it actually offers a lot more than we've seen so far. For a start, DCGs allow us to specify extra arguments. Extra arguments can be used for many purposes; we'll examine three.

Patrick Blackburn, Johan Bos and Kristina Striegnitz
Version 1.2.5 (20030212)