Next: , Previous: Variables, Up: Syntax


3.5 Compound Terms

The syntax of a compound Pedro term consists of an atom token (the functor) followed by an opening bracket followed by a comma separated list of syntax representing Pedro terms (the arguments) followed by a closing bracket.

A compound term must have at least one argument. The arity of a compound term is the number of arguments.

Examples:

     f(a), g(Var, "string", 42, h(a, g(b)))