Next: Programs
Up: Terms
Previous: Variables
  Contents
  Index
A structure takes the form of
, unless
is
declared to be an operator, where f is an n-ary
function symbol (functor) and
are terms. The terms
enclosed in the parentheses are called components of the
structure.
Lists are special structures whose functors are '.'. The
special atom '[]' denotes an empty list. The list [H|T]
denotes the structure '.'(H,T).
Neng-Fa Zhou
1999-11-24