Syntax Restrictions

Note carefully the following syntax restrictions, which serve to remove potential ambiguity associated with prefix operators.

  1. In a term written in standard syntax, the principal functor and its following ( must not be separated by any intervening layout-text. Thus
              point (X,Y,Z)
              

    is invalid syntax.

  2. If the argument of a prefix operator starts with a (, this ( must be separated from the operator by at least one layout-char. Thus
              :-(p;q),r.
              

    (where :- is the prefix operator) is invalid syntax. The system would try to interpret it as the compound term:

                  ,
                 / \
               :-    r
                |
                ;
               / \
              p   q
              

    That is, it would take :- to be a functor of arity 1. However, since the arguments of a compound term are required to be expressions of precedence below 1000, this interpretation would fail as soon as the ; (precedence 1100) was encountered.

    In contrast, the term:

              :- (p;q),r.
              

    is valid syntax and represents the following compound term:

                 :-
                  |
                  ,
                 / \
                ;   r
               / \
              p   q