Atom (functor) followed by k 1 terms, enclosed in
brackets and seperated by commas
k denotes the arity
e.g. student(ursula)
composer(bach,baroque)
disk_jockey(X,party(X))
tuples : sequences of terms, enclosed in brackets and
separated by commas
e.g. representing a date :
{23, march, 97)
as, is an atom, the tuple can be seen as :
','(10,','(march, 97)) (internal handling)
Q : compound( foo(a,B,32))
A : yes
Q : compound( '&Others'( Names ))
A : yes
Q : compound(123)
A : no