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

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

Chapter 9
A Closer Look at Terms

This chapter has three main goals:

  1. To introduce the == predicate.
  2. To take a closer look at term structure.
  3. To introduce operators.
  9.1 Comparing Terms
  9.2 Terms with a Special Notation
   Arithmetic terms
   Lists as terms
  9.3 Examining Terms
   Types of Terms
   The Structure of Terms
   Strings
  9.4 Operators
   Properties of operators
   Defining operators
  9.5 Exercises
  9.6 Practical Session

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

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