This version of Learn Prolog Now! embeds SWI SH , SWI-Prolog for SHaring. The current version rewrites the Learn Prolog Now! HTML on the fly, recognising source code and example queries. It is not yet good at recognising the relations between source code fragments and queries. Also Learn Prolog Now! needs some updating to be more compatible with SWI-Prolog. All sources are on GitHub:
LearnPrologNow LPN SWISH Proxy SWISH
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