[ 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

- untraceable(++) is det

### 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