Learn Prolog Now!
by Patrick Blackburn, Johan Bos, and Kristina Striegnitz

[ next ] [ prev ] [ prev-tail ] [ tail ] [ up ]

Chapter 7
Definite Clause Grammars

This chapter has two main goals:

  1. To introduce context free grammars (CFGs) and some related concepts.
  2. To introduce definite clause grammars (DCGs), a built-in Prolog mechanism for working with context free grammars (and other kinds of grammar too).
  7.1 Context Free Grammars
   CFG recognition using append
   CFG recognition using difference lists
  7.2 Definite Clause Grammars
   A first example
   Adding recursive rules
   A DCG for a simple formal language
  7.3 Exercises
  7.4 Practical Session

[ next ] [ prev ] [ prev-tail ] [ front ] [ up ]

eXTReMe Tracker
© 2006-2012 Patrick Blackburn, Johan Bos, Kristina Striegnitz