Chapter 4

This chapter has three main goals:

  1. To introduce lists, an important recursive data structure often used in Prolog programming.
  2. To define the member/2 predicate, a fundamental Prolog tool for manipulating lists.
  3. To introduce the idea of recursing down lists.

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