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

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

Chapter 3
Recursion

This chapter has two main goals:

  1. To introduce recursive definitions in Prolog.
  2. To show that there can be mismatches between the declarative meaning of a Prolog program, and its procedural meaning.
  3.1 Recursive Definitions
   Example 1: Eating
   Example 2: Descendant
   Example 3: Successor
   Example 4: Addition
  3.2 Rule Ordering, Goal Ordering, and Termination
  3.3 Exercises
  3.4 Practical Session

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

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