- determined by its name and its arguments: name(arg1, arg2, ..., argn)
- the predicate name is an atom
- the arguments may be any Prolog terms, including other structures
- there must be no space between the name and the opening parenthesis
Examples:
f(a), pred(x, A, B_3, sub(_)), 'A'(1, 2, 3)
