Examples of Definite Clause Grammars

1. Basic grammar (g0.pl).
2. Grammar with argument place for syntactic tree (g1.pl).
3. Grammar with argument place for logical form (g2.pl).
4. Partial grammar for logical form of simple quantified NP (g3.pl).
5. Complete grammar for logical form with quantified NP (g4.pl).
6. Complete grammar using partial execution for logical form with quantified NP (g5.pl).

N.B. These grammars use a slightly different approach to Beta reduction to Blackburn