traceswitches the execution mode to the debugging mode, and the query
notraceswitches the execution mode back to the usual mode. In debugging mode, the execution of asserted and consulted clauses can be traced. To trace part of the execution of a program, use spy to set the spy points.
spy(Atom/Arity).The spy points can be removed by
nospy(Atom/Arity).