Exceptions

Exceptions caught by the following predicates include:

Instantiation Error

Argument is a variable.

Type Error

Argument is not a predicate specification or callable term.

Table Error

Argument does not contain a tabled predicate, or a valid reference to a table component.