7.2 Definite clause grammars

So, what are DCGs? Quite simply, a nice notation for writing grammars that hides the underlying difference list variables. Let's look at three examples.

• 7.2.1 A first example

• 7.2.2 Adding recursive rules

• 7.2.3 A DCG for a simple formal language