Disjunction: Succeeds if P succeeds or Q succeeds.
If P then Q else R, using first solution of P only.
These are normally regarded as part of the syntax of the language, but
they are like a built-in predicate in that you can write
The character ‘|’ (vertical bar) can be used as an alternative to ‘;’.
The operator precedences of the ‘;’ and ‘->’ are both greater than 1000, so that they dominate commas.
Cuts in P do not make sense, but they are allowed, their scope being the goal P. The scope of cuts in Q and R extends to the containing clause.
For the if-then-else construct: if P succeeds and Q then fails, backtracking into P does not occur. A cut in P does not make sense. ‘->’ acts like a cut except that its range is restricted to within the disjunction: it cuts away R and any choice points within P. ‘->’ may be thought of as a “local cut”.
Call errors (see ref-sem-exc).