(t(P,X,Y),t(E,Y, Z) ==> t(P, X, Z)). /*~ ~*/ subRelation(E,P) ==> (t(E,X,Y) ==> t(P,X,Y)). /*~ ~*/ edge(1,2). /*~ ~*/ edge(2,3). /*~ ~*/ edge(3,4). /*~ ~*/ taxinomicPair(edge,path). /*~ ~*/ subRelation(edge,path). /*~ ~*/ transitive(path). /*~ ~*/ transitive(P) ==> (t(P,X,Y),t(P,Y, Z) ==> t(P, X, Z)). /*~ ~*/ symmetric(P) ==> (t(P,X,Y)/dif(X,Y) ==> t(P,Y,X)). /*~ %~ warn( really_remake_as_dynamic( %~ clpfd : symmetric(Symmetric), %~ for(baseKB,decl_kb_type(kb_shared,baseKB:symmetric/1)))) %~ warn( really_remake_as_dynamic2(clpfd:symmetric(Symmetric),bc(decl_kb_type(kb_shared,baseKB:symmetric/1)))) ~*/ symmetric(path). % provably not a subrelation of equality /*~ ~*/ % provably not a subrelation of equality antireflexive(P) ~genlPreds(P,equals). /*~ ~*/ ~genlPreds(P,equals) ~t(P,X,X). /*~ @(cyclic_break(member(S_1,S_1)),[S_1=[S_1|_49998]]) % Break level 1 % Exit break level 1 %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc#L40 (0)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (1)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m0m91m49m14m '$toplevel'. 0m49m0m0m0m % toplevel.pl:701: (2)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m2m37m40m17m '$runtoplevel'. 0m49m39m0m0m % toplevel.pl:713: (10)$0m0m97m40m13m[system]0m49m0m0m0m0m0m99m49m15m '$load_file'('tml_01d.pfc',user,''). 0m49m0m0m0m % init.pl:2353: (13)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',(0x55ac1152cb00),[expand(false),expand(true)])),'$mt_do_load'((0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),'$mt_end_load'((0x55ac1152cb00)))). 0m49m0m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (14)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (16)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',(0x55ac1152cb00),[expand(false),expand(true)])),system:'$mt_do_load'((0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x55ac1152cb00))). 0m49m0m0m0m % init.pl:646: (18)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m32m49m14m '$qdo_load_file'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]). 0m49m39m0m0m % init.pl:2546: (21)$0m0m97m40m13m[system]0m49m0m0m0m#0m1m39m49m14m '$do_load_file_2'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,compiled,[expand(false),expand(true)]). 0m49m39m21m0m % init.pl:2592: (25)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',1632631432.08379),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',lexstate(202,swi),user)). 0m49m0m0m0m % init.pl:646: (26)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:3007: (27)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('','','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m39m0m0m % init.pl:3074: (28)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('','','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m95m49m11m '$execute_directive'('','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m % init.pl:3549: (30)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m99m49m10m '$execute_directive_2'('','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m % init.pl:3571: (31)$0m0m97m40m13m[system]0m49m0m0m0m#0m1m94m49m16m '$execute_directive_3'(mpred_ain((~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))). 0m49m0m21m0m % init.pl:3574: (32)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m catch(user:mpred_ain((~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m0m0m % init.pl:546: (33)0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m14m pfc_lib:mpred_ain('',''). 0m49m0m0m0m % mpred_core.pl:1262: (34)$0m2m37m40m12m[user]0m49m39m0m0m0m1m36m49m17m pfc_lib:mpred_ain_now4(baseKB,baseKB,'',''). 0m49m39m21m0m % mpred_core.pl:1275: (35)$0m2m37m40m12m[user]0m49m39m0m0m0m0m36m49m16m pfc_lib:mpred_ain_now5(baseKB,baseKB,'',''). 0m49m39m0m0m % mpred_core.pl:1288: (36)$0m1m37m40m10m[call_from]0m49m39m21m0m0m0m95m49m13m call_from:call_from_module(baseKB,''). 0m49m0m0m0m % call_from_module.pl:284: (37)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m12m call_from:call_from_module(baseKB,user,user,''). 0m49m39m0m0m % call_from_module.pl:289: (38)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('','',''). 0m49m39m0m0m % must_sanity.pl:271: (39)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (40)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),must_sanity:((call_from:call(baseKB:with_source_module(baseKB,locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))))),deterministic(C)),(notrace(C==true)->!;call_from:('$set_source_module'(user),'$set_typein_module'(user)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),false));call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user)))). 0m49m39m0m0m % init.pl:646: (41)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (42)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call(''). 0m49m0m0m0m % init.pl:483: (43)$0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,''). 0m49m39m0m0m % call_from_module.pl:265: (44)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,baseKB,''). 0m49m39m0m0m % call_from_module.pl:270: (45)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('','',''). 0m49m39m0m0m % must_sanity.pl:271: (46)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (47)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:'$set_source_module'(baseKB),must_sanity:((call_from:call(locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))))),deterministic(C)),(notrace(C==true)->!;call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),false));call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:'$set_source_module'(baseKB))). 0m49m39m0m0m % init.pl:646: (48)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (49)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call(''). 0m49m0m0m0m % init.pl:483: (50)0m1m37m40m10m[call_from]0m49m39m21m0m0m0m94m49m10m locally_each:locally_tl('',''). 0m49m0m0m0m % redo_locally.pl:151: (51)0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m99m49m14m locally_each:locally('',''). 0m49m0m21m0m % redo_locally.pl:149: (52)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'','',''). 0m49m0m21m0m % redo_locally.pl:199: (53)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'','',''). 0m49m0m21m0m % redo_locally.pl:204: (54)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m2m37m40m17m locally_each:wtl_how('','','','',''). 0m49m39m0m0m % redo_locally.pl:217: (55)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m33m49m11m each_call_cleanup:each_call_cleanup('','',''). 0m49m39m0m0m % each_call.pl:147: (56)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m1m97m40m17m each_call_cleanup:trusted_redo_call_cleanup('','',''). 0m49m0m21m0m % each_call.pl:116: (57)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (58)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:current_defaultAssertMt(baseKB)),each_call_cleanup:((call_from:with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),deterministic(C)),(notrace(C==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:current_defaultAssertMt(baseKB)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),D,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). 0m49m39m0m0m % init.pl:646: (59)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (60)0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m91m49m16m ucatch:with_current_why('',''). 0m49m0m0m0m % ucatch.pl:932: (61)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m0m93m49m12m ucatch:with_only_current_why('',''). 0m49m0m0m0m % ucatch.pl:922: (62)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (63)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(ucatch:b_setval('$current_why',wp(((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),mfl4(['P'=A,'X'=B],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)),call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))),ucatch:(call(call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),b_setval('$current_why',[])),C,ucatch:b_setval('$current_why',[])). 0m49m39m0m0m % init.pl:646: (64)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (65)0m1m37m40m10m[call_from]0m49m39m21m0m0m1m96m49m11m pfc_lib:rtrace_if_booted(''). 0m49m0m21m0m % mpred_core.pl:1284: (66)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m33m49m12m pfc_lib:mpred_ain_now('',''). 0m49m39m21m0m % mpred_core.pl:1294: (67)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (68)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:ain_fast('',''). 0m49m0m0m0m % mpred_core.pl:1310: (69)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1076: (70)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (71)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (72)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('',''). 0m49m0m0m0m % mpred_core.pl:1422: (73)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (74)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (75)$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_post2((~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)). 0m49m39m0m0m % mpred_core.pl:1435: (76)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('',''). 0m49m0m0m0m % mpred_core.pl:1499: (77)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('',''). 0m49m0m0m0m % mpred_core.pl:1572: (78)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'',''). 0m49m39m21m0m % mpred_core.pl:1590: (79)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'','',none). 0m49m0m0m0m % mpred_core.pl:1675: (80)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (81)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('',''). 0m49m0m0m0m % mpred_core.pl:1876: (82)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('',direct,''). 0m49m0m0m0m % mpred_core.pl:1882: (83)$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_enqueue_direct((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),(~genlPreds(A,equals) ~t(A,B,B))). 0m49m39m0m0m % mpred_core.pl:1902: (84)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc((~genlPreds(A,equals) ~t(A,B,B))),mpred_enqueueing((~genlPreds(A,equals) ~t(A,B,B))),baseKB:true). 0m49m39m0m0m % no_loops.pl:294: (85)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,1293,''). 0m49m0m0m0m % no_loops.pl:237: (86)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc(''). 0m49m0m0m0m % mpred_core.pl:2480: (87)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',[]). 0m49m0m0m0m % mpred_core.pl:1080: (88)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (89)$0m2m37m40m12m[user]0m49m39m0m0m0m1m93m49m10m pfc_lib:mpred_fwc0((~genlPreds(A,equals) ~t(A,B,B))). 0m49m0m21m0m % mpred_core.pl:2493: (90)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc1((~genlPreds(A,equals) ~t(A,B,B))),info(mpred_fwc1((~genlPreds(A,equals) ~t(A,B,B))),'mpred_core.pl':2493),user:true). 0m49m39m0m0m % no_loops.pl:294: (91)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,1366,''). 0m49m0m0m0m % no_loops.pl:237: (92)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc1(''). 0m49m0m0m0m % mpred_core.pl:2540: (93)$0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2549: (94)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (95)$0m0m97m40m13m[system]0m49m0m0m0m0m2m37m40m12m setup_call_catcher_cleanup(user:asserta(t_l:busy_s((~genlPreds(A,equals) ~t(A,B,B))),(0x55ac148a6100)),user:(mpred_m_fwc2(baseKB,(~genlPreds(A,equals) ~t(A,B,B)))->true;true),C,user:(catch(erase((0x55ac148a6100)),D,fail)->true;true)). 0m49m39m0m0m % init.pl:646: (96)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (97)0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,(~genlPreds(A,equals) ~t(A,B,B))). 0m49m39m21m0m % mpred_core.pl:2556: (98)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_do_rule(''). 0m49m0m0m0m % mpred_core.pl:2577: (99)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule('','',''). 0m49m0m0m0m % mpred_core.pl:3565: (100)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule0('','',''). 0m49m0m0m0m % mpred_core.pl:3567: (101)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('',''). 0m49m0m0m0m % aggregate.pl:590: (102)$0m1m39m49m10m[aggregate]0m49m39m21m0m#0m2m37m40m12m aggregate:prove_list('',A v [\+genlPreds(A,equals)],user:(build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals) ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)))->true;true)). 0m49m39m0m0m % aggregate.pl:599: (103)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (104)0m2m37m40m12m[user]0m49m39m0m0m#0m1m39m49m10m pfc_lib:build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals) ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40))). 0m49m39m21m0m % mpred_core.pl:3579: (105)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall(''). 0m49m0m0m0m % misc_terms.pl:1165: (106)$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore(''). 0m49m0m0m0m % init.pl:528: (107)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (108)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('',''). 0m49m0m0m0m % mpred_core.pl:2774: (109)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (110)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2801: (111)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('',''). 0m49m0m0m0m % mpred_core.pl:2062: (112)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('',''). 0m49m0m0m0m % mpred_core.pl:2760: (113)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:complain_loop('',break). 0m49m0m0m0m % mpred_core.pl:2766: (114)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2781: (115)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_rhs('',(\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)])))). 0m49m0m0m0m % mpred_core.pl:2815: (116)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m10m pfc_lib:mpred_eval_rhs1(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m % mpred_core.pl:2869: (117)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post('',''). 0m49m0m0m0m % mpred_core.pl:1409: (118)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (119)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (120)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post1('',''). 0m49m0m0m0m % mpred_core.pl:1422: (121)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (122)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (123)$0m2m37m40m12m[user]0m49m39m0m0m0m1m91m49m10m pfc_lib:mpred_post2(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m0m21m0m % mpred_core.pl:1435: (124)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m16m pfc_lib:mpred_post12(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m % mpred_core.pl:1482: (125)$0m2m37m40m12m[user]0m49m39m0m0m0m1m35m49m11m pfc_lib:mpred_post12_negated(t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m21m0m % mpred_core.pl:1463: (126)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post13('',''). 0m49m0m0m0m % mpred_core.pl:1572: (127)$0m2m37m40m12m[user]0m49m39m0m0m0m2m37m40m12m pfc_lib:mpred_post13(user,'',''). 0m49m39m0m0m % mpred_core.pl:1590: (128)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'','',none). 0m49m0m0m0m % mpred_core.pl:1675: (129)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (130)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue('',''). 0m49m0m0m0m % mpred_core.pl:1876: (131)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('',direct,''). 0m49m0m0m0m % mpred_core.pl:1882: (132)$0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m17m pfc_lib:mpred_enqueue_direct((\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)]))),~t(A,C,C)). 0m49m0m0m0m % mpred_core.pl:1902: (133)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(baseKB:mpred_fwc(~t(A,B,B)),mpred_enqueueing(~t(A,B,B)),user:true). 0m49m39m0m0m % no_loops.pl:294: (134)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2213,''). 0m49m0m0m0m % no_loops.pl:237: (135)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc(''). 0m49m0m0m0m % mpred_core.pl:2480: (136)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',[]). 0m49m0m0m0m % mpred_core.pl:1080: (137)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (138)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m93m49m10m pfc_lib:mpred_fwc0(~t(A,B,B)). 0m49m0m21m0m % mpred_core.pl:2493: (139)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m1m39m49m10m loop_check:loop_check_term(baseKB:mpred_fwc1(~t(A,B,B)),info(mpred_fwc1(~t(A,B,B)),'mpred_core.pl':2493),baseKB:true). 0m49m39m21m0m % no_loops.pl:294: (140)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2286,''). 0m49m0m0m0m % no_loops.pl:237: (141)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1(''). 0m49m0m0m0m % mpred_core.pl:2540: (142)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2546: (143)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2549: (144)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (145)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s(preventedWhen(t(A,B,C),{call(=,B,C)})),(0x55ac23bed0e0)),baseKB:(mpred_m_fwc2(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase((0x55ac23bed0e0)),E,fail)->true;true)). 0m49m0m0m0m % init.pl:646: (146)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (147)0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2556: (148)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (149)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_f(preventedWhen(t(A,B,C),{call(=,B,C)})),(0x55ac23becff0)),baseKB:(mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase((0x55ac23becff0)),E,fail)->true;true)). 0m49m0m0m0m % init.pl:646: (150)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (151)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)})). 0m49m0m0m0m % mpred_core.pl:2673: (152)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fcpt(preventedWhen(t(A,B,C),{call(=,B,C)}),preventedWhen(t(D,E,F),{call(=,E,F)})). 0m49m0m0m0m % mpred_core.pl:2686: (153)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('',''). 0m49m0m0m0m % mpred_core.pl:2774: (154)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2781: (155)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs('',(preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))])))). 0m49m0m0m0m % mpred_core.pl:2815: (156)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs1((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m % mpred_core.pl:2869: (157)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post('',''). 0m49m0m0m0m % mpred_core.pl:1409: (158)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (159)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (160)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('',''). 0m49m0m0m0m % mpred_core.pl:1422: (161)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (162)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (163)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_post2((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m % mpred_core.pl:1435: (164)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('',''). 0m49m0m0m0m % mpred_core.pl:1499: (165)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('',''). 0m49m0m0m0m % mpred_core.pl:1572: (166)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'',''). 0m49m39m21m0m % mpred_core.pl:1590: (167)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'','',none). 0m49m0m0m0m % mpred_core.pl:1675: (168)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (169)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('',''). 0m49m0m0m0m % mpred_core.pl:1876: (170)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('',direct,''). 0m49m0m0m0m % mpred_core.pl:1882: (171)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_enqueue_direct((preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))]))),(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))). 0m49m0m0m0m % mpred_core.pl:1902: (172)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m93m49m15m loop_check:loop_check_term(baseKB:mpred_fwc((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),mpred_enqueueing((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),baseKB:true). 0m49m0m0m0m % no_loops.pl:294: (173)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2872,''). 0m49m0m0m0m % no_loops.pl:237: (174)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc(''). 0m49m0m0m0m % mpred_core.pl:2480: (175)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',[]). 0m49m0m0m0m % mpred_core.pl:1080: (176)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (177)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_fwc0((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))). 0m49m0m0m0m % mpred_core.pl:2493: (178)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m5m1m @(loop_check:loop_check_term(baseKB:mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),info(mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),'mpred_core.pl':2493),baseKB:true),[S_1=[S_1|A]]). 21m25m0m % no_loops.pl:294: (179)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2945,''). 0m49m0m0m0m % no_loops.pl:237: (180)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1(''). 0m49m0m0m0m % mpred_core.pl:2540: (181)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2549: (182)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (183)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),(0x55ac14ba7a40)),baseKB:(mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1))))->true;true),B,baseKB:(catch(erase((0x55ac14ba7a40)),C,fail)->true;true)),[S_1=[S_1|A]]). 21m25m0m % init.pl:646: (184)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (185)0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:2556: (186)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_do_rule(''). 0m49m0m0m0m % mpred_core.pl:2571: (187)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule('','',''). 0m49m0m0m0m % mpred_core.pl:3565: (188)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule0('','',''). 0m49m0m0m0m % mpred_core.pl:3567: (189)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('',''). 0m49m0m0m0m % aggregate.pl:590: (190)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m5m1m @(aggregate:prove_list('',v(member,S_1,S_1,[t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}]),baseKB:(build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40)))->true;true)),[S_1=[S_1|A]]). 21m25m0m % aggregate.pl:599: (191)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (192)0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:3579: (193)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall(''). 0m49m0m0m0m % misc_terms.pl:1165: (194)$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore(''). 0m49m0m0m0m % init.pl:528: (195)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (196)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('',''). 0m49m0m0m0m % mpred_core.pl:2774: (197)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (198)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2801: (199)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('',''). 0m49m0m0m0m % mpred_core.pl:2051: (200)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('',''). 0m49m0m0m0m % mpred_core.pl:2760: (201)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:complain_loop('',break). 0m49m0m0m0m % mpred_core.pl:2766: (202)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (203)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2790: (204)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (205)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2790: (206)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2781: (207)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs('',(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:2815: (208)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs1(nesc(~t(member,S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:2869: (211)0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (212)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post1(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:1421: (214)0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_success(baseKB,baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m % bugger.pl:1443: (215)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(first:zotrace(ignore((cyclic_term(baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),dumpST,dmsg(try_show_success(baseKB,cyclic_term))))),[S_1=[S_1|A]]). 21m25m0m % first.pl:514: (216)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(ignore(bugger:(cyclic_term(baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),dumpST,dmsg(try_show_success(baseKB,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m % init.pl:528: (217)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(''(bugger:(cyclic_term(baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),dumpST,dmsg(try_show_success(baseKB,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (220)0m0m91m49m14m[butterfly]0m49m0m0m0m0m2m36m49m14m butterfly:in_bfly(f,bugger:zotrace(with_all_dmsg((b_setval('$dump_frame',4074),dumpST1)))). 0m49m39m0m0m % butterfly_console.pl:226: %~ try_show_success(baseKB,cyclic_term) %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc#L40 (0)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (1)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m0m91m49m14m '$toplevel'. 0m49m0m0m0m % toplevel.pl:701: (2)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m2m37m40m17m '$runtoplevel'. 0m49m39m0m0m % toplevel.pl:713: (10)$0m0m97m40m13m[system]0m49m0m0m0m0m0m99m49m15m '$load_file'('tml_01d.pfc',user,''). 0m49m0m0m0m % init.pl:2353: (13)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',(0x55ac1152cb00),[expand(false),expand(true)])),'$mt_do_load'((0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),'$mt_end_load'((0x55ac1152cb00)))). 0m49m0m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (14)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (16)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',(0x55ac1152cb00),[expand(false),expand(true)])),system:'$mt_do_load'((0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x55ac1152cb00))). 0m49m0m0m0m % init.pl:646: (18)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m32m49m14m '$qdo_load_file'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]). 0m49m39m0m0m % init.pl:2546: (21)$0m0m97m40m13m[system]0m49m0m0m0m#0m1m39m49m14m '$do_load_file_2'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,compiled,[expand(false),expand(true)]). 0m49m39m21m0m % init.pl:2592: (25)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',1632631432.08379),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',lexstate(202,swi),user)). 0m49m0m0m0m % init.pl:646: (26)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:3007: (27)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('','','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m39m0m0m % init.pl:3074: (28)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('','','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m95m49m11m '$execute_directive'('','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m % init.pl:3549: (30)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m99m49m10m '$execute_directive_2'('','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m % init.pl:3571: (31)$0m0m97m40m13m[system]0m49m0m0m0m#0m1m94m49m16m '$execute_directive_3'(mpred_ain((~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))). 0m49m0m21m0m % init.pl:3574: (32)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m catch(user:mpred_ain((~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m0m0m % init.pl:546: (33)0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m14m pfc_lib:mpred_ain('',''). 0m49m0m0m0m % mpred_core.pl:1262: (34)$0m2m37m40m12m[user]0m49m39m0m0m0m1m36m49m17m pfc_lib:mpred_ain_now4(baseKB,baseKB,'',''). 0m49m39m21m0m % mpred_core.pl:1275: (35)$0m2m37m40m12m[user]0m49m39m0m0m0m0m36m49m16m pfc_lib:mpred_ain_now5(baseKB,baseKB,'',''). 0m49m39m0m0m % mpred_core.pl:1288: (36)$0m1m37m40m10m[call_from]0m49m39m21m0m0m0m95m49m13m call_from:call_from_module(baseKB,''). 0m49m0m0m0m % call_from_module.pl:284: (37)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m12m call_from:call_from_module(baseKB,user,user,''). 0m49m39m0m0m % call_from_module.pl:289: (38)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('','',''). 0m49m39m0m0m % must_sanity.pl:271: (39)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (40)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),must_sanity:((call_from:call(baseKB:with_source_module(baseKB,locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))))),deterministic(C)),(notrace(C==true)->!;call_from:('$set_source_module'(user),'$set_typein_module'(user)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),false));call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user)))). 0m49m39m0m0m % init.pl:646: (41)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (42)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call(''). 0m49m0m0m0m % init.pl:483: (43)$0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,''). 0m49m39m0m0m % call_from_module.pl:265: (44)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,baseKB,''). 0m49m39m0m0m % call_from_module.pl:270: (45)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('','',''). 0m49m39m0m0m % must_sanity.pl:271: (46)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (47)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:'$set_source_module'(baseKB),must_sanity:((call_from:call(locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))))),deterministic(C)),(notrace(C==true)->!;call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),false));call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:'$set_source_module'(baseKB))). 0m49m39m0m0m % init.pl:646: (48)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (49)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call(''). 0m49m0m0m0m % init.pl:483: (50)0m1m37m40m10m[call_from]0m49m39m21m0m0m0m94m49m10m locally_each:locally_tl('',''). 0m49m0m0m0m % redo_locally.pl:151: (51)0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m99m49m14m locally_each:locally('',''). 0m49m0m21m0m % redo_locally.pl:149: (52)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'','',''). 0m49m0m21m0m % redo_locally.pl:199: (53)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'','',''). 0m49m0m21m0m % redo_locally.pl:204: (54)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m2m37m40m17m locally_each:wtl_how('','','','',''). 0m49m39m0m0m % redo_locally.pl:217: (55)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m33m49m11m each_call_cleanup:each_call_cleanup('','',''). 0m49m39m0m0m % each_call.pl:147: (56)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m1m97m40m17m each_call_cleanup:trusted_redo_call_cleanup('','',''). 0m49m0m21m0m % each_call.pl:116: (57)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (58)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:current_defaultAssertMt(baseKB)),each_call_cleanup:((call_from:with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),deterministic(C)),(notrace(C==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:current_defaultAssertMt(baseKB)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),D,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). 0m49m39m0m0m % init.pl:646: (59)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (60)0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m91m49m16m ucatch:with_current_why('',''). 0m49m0m0m0m % ucatch.pl:932: (61)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m0m93m49m12m ucatch:with_only_current_why('',''). 0m49m0m0m0m % ucatch.pl:922: (62)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (63)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(ucatch:b_setval('$current_why',wp(((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),mfl4(['P'=A,'X'=B],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)),call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))),ucatch:(call(call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),b_setval('$current_why',[])),C,ucatch:b_setval('$current_why',[])). 0m49m39m0m0m % init.pl:646: (64)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (65)0m1m37m40m10m[call_from]0m49m39m21m0m0m1m96m49m11m pfc_lib:rtrace_if_booted(''). 0m49m0m21m0m % mpred_core.pl:1284: (66)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m33m49m12m pfc_lib:mpred_ain_now('',''). 0m49m39m21m0m % mpred_core.pl:1294: (67)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (68)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:ain_fast('',''). 0m49m0m0m0m % mpred_core.pl:1310: (69)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1076: (70)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (71)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (72)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('',''). 0m49m0m0m0m % mpred_core.pl:1422: (73)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (74)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (75)$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_post2((~genlPreds(A,equals) ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)). 0m49m39m0m0m % mpred_core.pl:1435: (76)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('',''). 0m49m0m0m0m % mpred_core.pl:1499: (77)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('',''). 0m49m0m0m0m % mpred_core.pl:1572: (78)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'',''). 0m49m39m21m0m % mpred_core.pl:1590: (79)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'','',none). 0m49m0m0m0m % mpred_core.pl:1675: (80)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (81)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('',''). 0m49m0m0m0m % mpred_core.pl:1876: (82)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('',direct,''). 0m49m0m0m0m % mpred_core.pl:1882: (83)$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_enqueue_direct((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),(~genlPreds(A,equals) ~t(A,B,B))). 0m49m39m0m0m % mpred_core.pl:1902: (84)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc((~genlPreds(A,equals) ~t(A,B,B))),mpred_enqueueing((~genlPreds(A,equals) ~t(A,B,B))),baseKB:true). 0m49m39m0m0m % no_loops.pl:294: (85)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,1293,''). 0m49m0m0m0m % no_loops.pl:237: (86)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc(''). 0m49m0m0m0m % mpred_core.pl:2480: (87)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',[]). 0m49m0m0m0m % mpred_core.pl:1080: (88)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (89)$0m2m37m40m12m[user]0m49m39m0m0m0m1m93m49m10m pfc_lib:mpred_fwc0((~genlPreds(A,equals) ~t(A,B,B))). 0m49m0m21m0m % mpred_core.pl:2493: (90)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc1((~genlPreds(A,equals) ~t(A,B,B))),info(mpred_fwc1((~genlPreds(A,equals) ~t(A,B,B))),'mpred_core.pl':2493),user:true). 0m49m39m0m0m % no_loops.pl:294: (91)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,1366,''). 0m49m0m0m0m % no_loops.pl:237: (92)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc1(''). 0m49m0m0m0m % mpred_core.pl:2540: (93)$0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2549: (94)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (95)$0m0m97m40m13m[system]0m49m0m0m0m0m2m37m40m12m setup_call_catcher_cleanup(user:asserta(t_l:busy_s((~genlPreds(A,equals) ~t(A,B,B))),(0x55ac148a6100)),user:(mpred_m_fwc2(baseKB,(~genlPreds(A,equals) ~t(A,B,B)))->true;true),C,user:(catch(erase((0x55ac148a6100)),D,fail)->true;true)). 0m49m39m0m0m % init.pl:646: (96)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (97)0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,(~genlPreds(A,equals) ~t(A,B,B))). 0m49m39m21m0m % mpred_core.pl:2556: (98)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_do_rule(''). 0m49m0m0m0m % mpred_core.pl:2577: (99)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule('','',''). 0m49m0m0m0m % mpred_core.pl:3565: (100)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule0('','',''). 0m49m0m0m0m % mpred_core.pl:3567: (101)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('',''). 0m49m0m0m0m % aggregate.pl:590: (102)$0m1m39m49m10m[aggregate]0m49m39m21m0m#0m2m37m40m12m aggregate:prove_list('',A v [\+genlPreds(A,equals)],user:(build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals) ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)))->true;true)). 0m49m39m0m0m % aggregate.pl:599: (103)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (104)0m2m37m40m12m[user]0m49m39m0m0m#0m1m39m49m10m pfc_lib:build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals) ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40))). 0m49m39m21m0m % mpred_core.pl:3579: (105)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall(''). 0m49m0m0m0m % misc_terms.pl:1165: (106)$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore(''). 0m49m0m0m0m % init.pl:528: (107)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (108)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('',''). 0m49m0m0m0m % mpred_core.pl:2774: (109)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (110)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2801: (111)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('',''). 0m49m0m0m0m % mpred_core.pl:2062: (112)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('',''). 0m49m0m0m0m % mpred_core.pl:2760: (113)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:complain_loop('',break). 0m49m0m0m0m % mpred_core.pl:2766: (114)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2781: (115)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_rhs('',(\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)])))). 0m49m0m0m0m % mpred_core.pl:2815: (116)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m10m pfc_lib:mpred_eval_rhs1(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m % mpred_core.pl:2869: (117)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post('',''). 0m49m0m0m0m % mpred_core.pl:1409: (118)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (119)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (120)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post1('',''). 0m49m0m0m0m % mpred_core.pl:1422: (121)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (122)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (123)$0m2m37m40m12m[user]0m49m39m0m0m0m1m91m49m10m pfc_lib:mpred_post2(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m0m21m0m % mpred_core.pl:1435: (124)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m16m pfc_lib:mpred_post12(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m % mpred_core.pl:1482: (125)$0m2m37m40m12m[user]0m49m39m0m0m0m1m35m49m11m pfc_lib:mpred_post12_negated(t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m21m0m % mpred_core.pl:1463: (126)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post13('',''). 0m49m0m0m0m % mpred_core.pl:1572: (127)$0m2m37m40m12m[user]0m49m39m0m0m0m2m37m40m12m pfc_lib:mpred_post13(user,'',''). 0m49m39m0m0m % mpred_core.pl:1590: (128)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'','',none). 0m49m0m0m0m % mpred_core.pl:1675: (129)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (130)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue('',''). 0m49m0m0m0m % mpred_core.pl:1876: (131)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('',direct,''). 0m49m0m0m0m % mpred_core.pl:1882: (132)$0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m17m pfc_lib:mpred_enqueue_direct((\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)]))),~t(A,C,C)). 0m49m0m0m0m % mpred_core.pl:1902: (133)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(baseKB:mpred_fwc(~t(A,B,B)),mpred_enqueueing(~t(A,B,B)),user:true). 0m49m39m0m0m % no_loops.pl:294: (134)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2213,''). 0m49m0m0m0m % no_loops.pl:237: (135)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc(''). 0m49m0m0m0m % mpred_core.pl:2480: (136)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',[]). 0m49m0m0m0m % mpred_core.pl:1080: (137)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (138)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m93m49m10m pfc_lib:mpred_fwc0(~t(A,B,B)). 0m49m0m21m0m % mpred_core.pl:2493: (139)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m1m39m49m10m loop_check:loop_check_term(baseKB:mpred_fwc1(~t(A,B,B)),info(mpred_fwc1(~t(A,B,B)),'mpred_core.pl':2493),baseKB:true). 0m49m39m21m0m % no_loops.pl:294: (140)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2286,''). 0m49m0m0m0m % no_loops.pl:237: (141)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1(''). 0m49m0m0m0m % mpred_core.pl:2540: (142)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2546: (143)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2549: (144)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (145)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s(preventedWhen(t(A,B,C),{call(=,B,C)})),(0x55ac23bed0e0)),baseKB:(mpred_m_fwc2(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase((0x55ac23bed0e0)),E,fail)->true;true)). 0m49m0m0m0m % init.pl:646: (146)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (147)0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2556: (148)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (149)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_f(preventedWhen(t(A,B,C),{call(=,B,C)})),(0x55ac23becff0)),baseKB:(mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase((0x55ac23becff0)),E,fail)->true;true)). 0m49m0m0m0m % init.pl:646: (150)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (151)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)})). 0m49m0m0m0m % mpred_core.pl:2673: (152)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fcpt(preventedWhen(t(A,B,C),{call(=,B,C)}),preventedWhen(t(D,E,F),{call(=,E,F)})). 0m49m0m0m0m % mpred_core.pl:2686: (153)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('',''). 0m49m0m0m0m % mpred_core.pl:2774: (154)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2781: (155)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs('',(preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))])))). 0m49m0m0m0m % mpred_core.pl:2815: (156)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs1((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m % mpred_core.pl:2869: (157)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post('',''). 0m49m0m0m0m % mpred_core.pl:1409: (158)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (159)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (160)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('',''). 0m49m0m0m0m % mpred_core.pl:1422: (161)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (162)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (163)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_post2((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m % mpred_core.pl:1435: (164)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('',''). 0m49m0m0m0m % mpred_core.pl:1499: (165)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('',''). 0m49m0m0m0m % mpred_core.pl:1572: (166)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'',''). 0m49m39m21m0m % mpred_core.pl:1590: (167)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'','',none). 0m49m0m0m0m % mpred_core.pl:1675: (168)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:''. 0m49m0m0m0m % logicmoo_test.pl:274: (169)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('',''). 0m49m0m0m0m % mpred_core.pl:1876: (170)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('',direct,''). 0m49m0m0m0m % mpred_core.pl:1882: (171)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_enqueue_direct((preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))]))),(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))). 0m49m0m0m0m % mpred_core.pl:1902: (172)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m93m49m15m loop_check:loop_check_term(baseKB:mpred_fwc((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),mpred_enqueueing((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),baseKB:true). 0m49m0m0m0m % no_loops.pl:294: (173)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2872,''). 0m49m0m0m0m % no_loops.pl:237: (174)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc(''). 0m49m0m0m0m % mpred_core.pl:2480: (175)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',[]). 0m49m0m0m0m % mpred_core.pl:1080: (176)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (177)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_fwc0((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))). 0m49m0m0m0m % mpred_core.pl:2493: (178)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m5m1m @(loop_check:loop_check_term(baseKB:mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),info(mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),'mpred_core.pl':2493),baseKB:true),[S_1=[S_1|A]]). 21m25m0m % no_loops.pl:294: (179)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('','',1,2945,''). 0m49m0m0m0m % no_loops.pl:237: (180)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1(''). 0m49m0m0m0m % mpred_core.pl:2540: (181)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,''). 0m49m39m21m0m % mpred_core.pl:2549: (182)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('','',''). 0m49m39m21m0m % init.pl:650: (183)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),(0x55ac14ba7a40)),baseKB:(mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1))))->true;true),B,baseKB:(catch(erase((0x55ac14ba7a40)),C,fail)->true;true)),[S_1=[S_1|A]]). 21m25m0m % init.pl:646: (184)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (185)0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:2556: (186)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_do_rule(''). 0m49m0m0m0m % mpred_core.pl:2571: (187)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule('','',''). 0m49m0m0m0m % mpred_core.pl:3565: (188)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule0('','',''). 0m49m0m0m0m % mpred_core.pl:3567: (189)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('',''). 0m49m0m0m0m % aggregate.pl:590: (190)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m5m1m @(aggregate:prove_list('',v(member,S_1,S_1,[t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}]),baseKB:(build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40)))->true;true)),[S_1=[S_1|A]]). 21m25m0m % aggregate.pl:599: (191)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (192)0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:3579: (193)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall(''). 0m49m0m0m0m % misc_terms.pl:1165: (194)$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore(''). 0m49m0m0m0m % init.pl:528: (195)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m ''(''). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (196)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('',''). 0m49m0m0m0m % mpred_core.pl:2774: (197)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (198)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2801: (199)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('',''). 0m49m0m0m0m % mpred_core.pl:2051: (200)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('',''). 0m49m0m0m0m % mpred_core.pl:2760: (201)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:complain_loop('',break). 0m49m0m0m0m % mpred_core.pl:2766: (202)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (203)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2790: (204)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2782: (205)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('',''). 0m49m0m0m0m % mpred_core.pl:2790: (206)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('',''). 0m49m0m0m0m % mpred_core.pl:2781: (207)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs('',(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:2815: (208)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs1(nesc(~t(member,S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:2869: (211)0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (212)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post1(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:1422: (213)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('','',''). 0m49m0m0m0m % mpred_core.pl:1080: (214)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('',''). 0m49m0m0m0m % apply.pl:60: (215)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post2(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:1435: (216)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('',''). 0m49m0m0m0m % mpred_core.pl:1499: (217)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('',''). 0m49m0m0m0m % mpred_core.pl:1572: (218)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'',''). 0m49m39m21m0m % mpred_core.pl:1590: (219)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post_update4(unique,nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),none),[S_1=[S_1|A]]). 21m25m0m % mpred_core.pl:1675: (220)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must_det(baseKB:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m % must_sanity.pl:209: (221)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must_once(baseKB:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m % must_sanity.pl:199: (222)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must(baseKB:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m % must_sanity.pl:65: (223)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m % mpred_justify.pl:251: (224)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must_or_rtrace(baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))))),[S_1=[S_1|A]]). 21m25m0m % must_sanity.pl:116: (225)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(catch(baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))))),E,must_sanity:mor_event(e(E,baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))))))),[S_1=[S_1|A]]). 21m25m0m % init.pl:546: (226)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(''(baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))))),[S_1=[S_1|A]]). 21m25m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (227)0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m5m1m @(pfc_lib:sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),baseKB:call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m % mpred_justify.pl:230: (228)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_call(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m % bugger.pl:1416: (229)0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_call(pfc_lib,pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m % bugger.pl:1409: (230)0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_success(pfc_lib,pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m % bugger.pl:1443: (231)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(first:zotrace(ignore((cyclic_term(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),dumpST,dmsg(try_show_success(pfc_lib,cyclic_term))))),[S_1=[S_1|A]]). 21m25m0m % first.pl:514: (232)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(ignore(bugger:(cyclic_term(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),dumpST,dmsg(try_show_success(pfc_lib,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m % init.pl:528: (233)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(''(bugger:(cyclic_term(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),dumpST,dmsg(try_show_success(pfc_lib,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m0m0m93m49m14m no(clause) 0m49m0m0m0m (234)0m2m36m49m14m[bugger]0m49m39m0m0m0m0m93m49m11m dumpst:dumpST. 0m49m0m0m0m % dumpst.pl:150: %~ try_show_success(pfc_lib,cyclic_term) ERROR: Unhandled exception: @(must_sanity:e(must_sanity:e(error(resource_error(stack),stack_overflow{choicepoints:71,depth:5920714,environments:5920697,globalused:185075,localused:786347,stack:[frame(5920714,first:unnumbervars4([1|_16060],[],_16052,_16054),[]),frame(5920713,first:unnumbervars4([1|_16096],[],_16088,[1|_16102]),[]),frame(5920712,first:unnumbervars4([1|_16138],[],_16130,[1|_16144]),[]),frame(5920711,first:unnumbervars4([1|_16180],[],_16172,[1|_16186]),[]),frame(5920710,first:unnumbervars4([1|_16222],[],_16214,[1|_16228]),[])],stack_limit:1048576,trailused:46252}),baseKB:assertz_mu(baseKB: $spft(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),$pt(baseKB,t(_16294,_16296,_16298),(mpred_positive_fact(t(_16294,_16296,_16298))*->call(=,_16296,_16298)*->rhs([nesc(~t(_16294,_16296,_16298))])))))),baseKB:(fix_mp(mpred_add_support_fast,_16374,_16376,_16378),_16374= $spft(_16376,nesc(~member(S_2,S_2)),t(member,S_2,S_2),$pt(baseKB,t(_16440,_16442,_16444),(mpred_positive_fact(t(_16440,_16442,_16444))*->call(=,_16442,_16444)*->rhs([nesc(~t(_16440,_16442,_16444))])))),_16376:notify_if_neg_trigger(_16378),sanity_check(_16376:assertz_mu(_16376:_16378),call(_16376:clause_asserted(_16376:_16378))))),[S_1=[S_1|_16274],S_2=[S_2|_16420]]) ~*/ #!/usr/bin/env lmoo-junit % Quick fwd test /*~ ~*/ #!/usr/bin/env lmoo-junit % Quick fwd test :- include(library(logicmoo_test_header)). /*~ running(-), %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:59 %~ reload_of_test_header. %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) ~*/ :- use_module(library(statistics)). /*~ ~*/ :- statistics. /*~ % Started at Mon Sep 27 03:03:01 2021 % 10.114 seconds cpu time for 61,657,929 inferences % 952,627 atoms, 32,720 functors, 31,542 predicates, 747 modules, 16,005,291 VM-codes % % Limit Allocated In use % Local stack: - 698 Mb 3,920 b % Global stack: - 262 Mb 72 Kb % Trail stack: - 65 Mb 968 b % Total: 1,024 Mb 1,025 Mb 77 Kb % % 114 garbage collections gained 679,039,544 bytes in 0.214 seconds. % 68 atom garbage collections gained 6,033 atoms in 0.983 seconds. % 72 clause garbage collections gained 16,780 clauses in 0.003 seconds. % Stack shifts: 33 local, 25 global, 26 trail in 3.159 seconds % 3 threads, 0 finished threads used 0.000 seconds ~*/ :- cls. % reset runtime counter /*~ %~ skipped(messy_on_output,cls) ~*/ % reset runtime counter :- mpred_test(statistics(runtime,_Secs)). % Quick fwd test /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc:11 %~ ?-( mpred_test("Test_0002_Line_0000__Runtime_in_user",user:statistics(runtime,_Secs))). passed=info(why_was_true(user:statistics(runtime,[8430,7491]))) no_proof_for(statistics(runtime,[8430,7491])). no_proof_for(statistics(runtime,[8430,7491])). name='logicmoo.pfc.test.sanity_base.TML_01D-Test_0002_Line_0000__Runtime_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01D'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01d.pfc\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_TML_01D_Test_0002_Line_0000_Runtime_in_user-junit.xml ~*/ % Quick fwd test taxinomicPair(E,P) ==> (t(P,X,Y),t(E,Y, Z) ==> t(P, X, Z)). /*~ ~*/ subRelation(E,P) ==> (t(E,X,Y) ==> t(P,X,Y)). /*~ ~*/ edge(1,2). /*~ ~*/ edge(2,3). /*~ ~*/ edge(3,4). /*~ ~*/ taxinomicPair(edge,path). /*~ ~*/ subRelation(edge,path). /*~ ~*/ transitive(path). /*~ ~*/ transitive(P) ==> (t(P,X,Y),t(P,Y, Z) ==> t(P, X, Z)). /*~ ~*/ symmetric(P) ==> (t(P,X,Y)/dif(X,Y) ==> t(P,Y,X)). /*~ ~*/ symmetric(path). % provably not a subrelation of equality /*~ ~*/ % provably not a subrelation of equality antireflexive(P) ~genlPreds(P,equals). /*~ ~*/ ~genlPreds(P,equals) ~t(P,X,X). /*~ ~*/ a goal=user:path(1,4). time=0.0004296302795410156. passed=passed=info(why_was_true(user:path(1,4))) no_proof_for(path(1,4)). no_proof_for(path(1,4)). no_proof_for(path(1,4)). result=passed. ]]>