swipl-8.2.3/boot/tabling.pl

97 goal_expansion(tdebug(Topic, Fmt, Args), Expansion) :-
102 goal_expansion(tdebug(Goal), Expansion) :-
335     tdebug(deadlock, 'Got table ~p, status ~p', [Trie, Status]),
349     tdebug(Fresh = fresh(SCC, WorkList)),
350     tdebug(wl_goal(WorkList, Goal, _)),
351     tdebug(schedule, 'Created component ~d for ~p', [SCC, Goal]),
357     tdebug(schedule, 'Leader ~p done, status = ~p', [Goal, LStatus]),
369     tdebug(user_goal(Wrapper, Goal)),
370     tdebug(deadlock, 'Deadlock running ~p; retrying', [Goal]),
375     tdebug(user_goal(Wrapper, Goal)),
376     tdebug(deadlock, 'Deadlock running ~p; retrying', [Goal]),
422     tdebug(call_subsumption, 'GenSkeleton+Skeleton = ~p',
440     tdebug(abstract, 'Wrapper=~p, Worker=~p, Skel=~p',
463     tdebug(Fresh = fresh(SCC, WorkList)),
464     tdebug(wl_goal(WorkList, Goal, _)),
465     tdebug(schedule, 'Created component ~d for ~p', [SCC, Goal]),
471     tdebug(schedule, 'Leader ~p done, status = ~p', [Goal, LStatus]),
535     tdebug(wl_goal(Worklist, Goal, Skeleton)),
536     tdebug(schedule, '-> Activate component ~p for ~p', [SCC, Goal]),
538     tdebug(schedule, '-> Complete component ~p for ~p', [SCC, Goal]),
540     tdebug(schedule, '-> Completed component ~p for ~p: ~p', [SCC, Goal, Status]),
542     ->  tdebug(merge, 'Turning leader ~p into follower', [Goal]),
549     tdebug(activate, '~p: created wl=~p', [Skeleton, WorkList]),
572     tdebug(wl_goal(WorkList, Goal, _)),
574     ->  tdebug('$tbl_add_global_delays'(Delays, AllDelays)),
575         tdebug(delay_goals(AllDelays, Cond)),
576         tdebug(answer, 'New answer ~p for ~p (delays = ~p)',
583         tdebug(wl_goal(SourceWL, SrcGoal, _)),
584         tdebug(wl_goal(WorkList, DstGoal, _)),
585         tdebug(schedule, 'Suspended ~p, for solving ~p', [SrcGoal, DstGoal]),
591         tdebug(wl_goal(SourceWL, SrcGoal, _)),
592         tdebug(wl_goal(WorkList, DstGoal, _)),
593         tdebug(schedule, 'Suspended ~p, for solving ~p', [SrcGoal, DstGoal]),
625         tdebug(schedule, 'Leader ~p done, modeargs = ~p, status = ~p',
656     tdebug(wl_goal(Worklist, Goal, _)),
657     tdebug(schedule, '-> Activate component ~p for ~p', [SCC, Goal]),
659     tdebug(schedule, '-> Complete component ~p for ~p', [SCC, Goal]),
661     tdebug(schedule, '-> Completed component ~p for ~p: ~p', [SCC, Goal, Status]),
663     ->  tdebug(merge, 'Turning leader ~p into follower', [Wrapper]),
731         tdebug(schedule, 'SCC ~p: ~p', [scc(SCC), Status])
737     ->  tdebug(wl_goal(WorkList, Goal, _)),
738         tdebug(schedule, 'Complete ~p in ~p', [Goal, scc(SCC)]),
775     tdebug(wl_goal(SourceWL, SourceGoal, _)),
776     tdebug(wl_goal(TargetWL, TargetGoal, _Skeleton)),
777     tdebug('$tbl_add_global_delays'(Delays, AllDelays)),
778     tdebug(delay_goals(AllDelays, Cond)),
779     tdebug(schedule, 'Resuming ~p, calling ~p with ~p (delays = ~p)',
801         ->  tdebug(tnot, 'tnot: adding ~p to delay list', [Goal]),
807     ;   tdebug(tnot, 'tnot: ~p: fresh', [Goal]),
813             tdebug(tnot, 'tnot: fresh ~p now ~p', [Goal, NewStatus]),
839     tdebug(tnot, 'negation_suspend ~p (wl=~p)', [Wrapper, Worklist]),
842     tdebug(tnot, 'negation resume ~p (wl=~p)', [Wrapper, Worklist]),