
unskipped +SpecList

   Sets the procedures specified in SpecList to be unskipped or not skipped.



Arguments
   SpecList            Sequence of expressions of the form Atom/Integer.

Type
   Debugging

Description
   Undoes the effect of a call to skipped/1 on the specified procedure(s),
   i.e.  its subgoals will now be traced.


   The expressions in SpecList are all of the form name/arity.


   Note that unskipped/1 is superseded by the predicate set_flag(Proc,
   skip, off), which sets the procedure Proc to be unskipped.




Modes and Determinism
   unskipped(++) is det

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

Exceptions
     4 --- SpecList is not instantiated.
     5 --- SpecList is instantiated, but not of the form atom or    Atom/Integer.
    60 --- SpecList contains an undefined procedure.

Examples
   
Success:
      [eclipse]: [user], skipped p/0.
       q.
       p :- q.
       user compiled 60 bytes in 0.00 seconds
      yes.
      [eclipse]: trace.
      Debugger switched on - creep mode
      yes.
      [eclipse]: p.
      S (1) 0  CALL   p (dbg)?- creep
      S (1) 0  EXIT   p (dbg)?- creep
      yes.
      [eclipse]: unskipped p/0.
      yes.
      [eclipse]: p.
        (1) 0  CALL   p (dbg)?- creep
        (2) 1  CALL   q (dbg)?- creep
        (2) 1  EXIT   q (dbg)?- creep
        (1) 0  EXIT   p (dbg)?- creep
      yes.

Error:
      unskipped Proc/1.           (Error 4).
      unskipped write(Term)/1.    (Error 5).
      unskipped do.               (Error 5).
      unskipped n/1.              (Error 60).





See Also
   skipped / 1
