Next: , Previous: , Up: ref-sem   [Contents][Index]

4.2.6 Exceptions Related to Procedure Calls

All predicates that take a call argument will raise the following exceptions:


Module prefix or goal uninstantiated.


Goal not a callable.


Procedure does not exist.


Declaration or clause construct called as procedure.

The reference page for such predicates will simply refer to these as “Call errors” and will go on to detail other exceptions that may be raised for a particular predicate.

Send feedback on this subject.