[ Debugging | Reference Manual | Alphabetic Index ]

untraceable +SpecList

Declares the procedure(s) in SpecList to be untraceable.
SpecList
Sequence of expressions of the form name/arity.

Description

Sets all the procedures given by SpecList untraceable. Marking a predicate as untraceable will prevent any information about it being displayed. The subgoals of this predicate will be shown in their normal way.

Note that untraceable/1 is superseded by the predicate set_flag(Proc, leash, notrace), which declares the procedure Proc to be untraceable.

Modes and Determinism

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Exceptions

(4) instantiation fault
SpecList is not instantiated.
(5) type error
SpecList is not of the form Atom/Integer.
(60) referring to an undefined procedure
SpecList is an undefined procedure.

See Also

get_flag / 3, set_flag / 3, traceable / 1