11.1.4 Argument Types

The argument section describes the type/domain of each argument of a solution to the given predicate. That is, for a predicate to succeed, it must be possible to instantiate the given argument to a term of the described type/domain.

If it is a `+' argument, the predicate always tests if the argument is of the right type/domain. Usually, input arguments must also be instantiated to some extent. Such details are documented for each input argument.

Send feedback on this subject.