'). 0m49m0m0m0m % init.pl:2353: (13)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$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/mt_01c_0a.pl ',(0x5644d26c0b00),[expand(false),expand(true)])),'$mt_do_load'((0x5644d26c0b00),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),'$mt_end_load'((0x5644d26c0b00)))). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (14)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (16)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m 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/mt_01c_0a.pl ',(0x5644d26c0b00),[expand(false),expand(true)])),system:'$mt_do_load'((0x5644d26c0b00),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x5644d26c0b00))). 0m49m0m21m0m % init.pl:646: (18)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m93m49m10m '$qdo_load_file'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:2546: (21)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m32m49m14m '$do_load_file_2'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,compiled,[expand(false),expand(true)]). 0m49m39m0m0m % init.pl:2592: (25)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',1632225607.2570815),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',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/mt_01c_0a.pl ',lexstate(202,swi),user)). 0m49m0m21m0m % init.pl:646: (26)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',A,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:3007: (27)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3074: (28)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m96m49m16m '$execute_directive'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m0m0m0m % init.pl:3549: (30)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m37m40m13m '$execute_directive_2'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3571: (31)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m32m49m14m '$execute_directive_3'(clause_u(loves(A,B))). 0m49m39m0m0m % init.pl:3574: (32)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m catch(user:clause_u(loves(A,B)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m21m0m % init.pl:546: (33)0m0m94m49m14m[user]0m49m0m0m0m#0m1m36m49m13m pfc_lib:clause_u(loves(A,B)). 0m49m39m21m0m % mpred_core.pl:4331: (34)$0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:log_failure(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4209: (35)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (36)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (37)0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4229: (38)$0m0m94m49m14m[user]0m49m0m0m0m0m2m97m40m11m pfc_lib:break_ex. 0m49m0m0m0m % mpred_core.pl:4226: (39)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (40)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (41)0m0m94m49m14m[user]0m49m0m0m0m0m1m33m49m13m dumpst:dumpST. 0m49m39m21m0m % dumpst.pl:150: %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ DUMP_BREAK/0 %~ message_hook(unhandled_exception(abort),error,['Unhandled exception: ','~p'-[abort]]) Unhandled exception: abort ERROR: Unhandled exception: abort ~*/ /*~ ~*/ /* % % PFC is a language extension for prolog. % % It adds a new type of module inheritance % % Dec 13, 2035 % Douglas Miles */ % was_module(header_sane,[]). :- include(library(logicmoo_test_header)). % :- rtrace. /*~ running(-), %~ reload_of_test_header. %~ this_test_might_need( :-( expects_dialect(pfc))) %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) ~*/ % :- rtrace. :- expects_dialect(pfc). /*~ ~*/ :- must(is_pfc_file). /*~ %~ ?-( mpred_test("Test_0002_Line_0000__Is_pfc_file_in_user",user:is_pfc_file)). failure=info((why_was_true(user:(\+is_pfc_file)),nop(ftrace(user:is_pfc_file)))) no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). name='logicmoo.pfc.test.sanity_base.MT_01C_0A-Test_0002_Line_0000__Is_pfc_file_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_01C_0A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_01c_0a.pl\']"'. % 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_MT_01C_0A_Test_0002_Line_0000_Is_pfc_file_in_user-junit.xml ~*/ :- set_fileAssertMt(cycKB1). /*~ %~ set_fileAssertMt(cycKB1) ~*/ :- listing(baseKB:mtProlog/1). /*~ %~ skipped( listing( baseKB : mtProlog/1)) ~*/ :- listing(baseKB:mtHybrid/1). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:22 %~ skipped( listing( baseKB : mtHybrid/1)) ~*/ :- listing(baseKB:genlMt/2). /*~ %~ skipped( listing( baseKB : genlMt/2)) ~*/ :- listing(cycKB1:_). /*~ %~ skipped( listing( cycKB1 : CycKB1)) ~*/ :- listing(genlMt/2). /*~ %~ skipped( listing( genlMt/2)) ~*/ :- mpred_trace_exec. /*~ ~*/ cycKB1:loves(sally,joe). /*~ No source location!? ~*/ :- mpred_must(clause_u(cycKB1:loves(_,_))). /*~ ~*/ :- mpred_must(\+clause_u(baseKB:loves(_,_))). /*~ ~*/ :- pfc_test_feature(mt,\+ clause_u(header_sane:loves(_,_))). /*~ ~*/ :- mpred_must(clause_u(loves(_,_))). /*~ %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure+failed_mpred_test(clause_u(loves(_158344,_158366)))]) 39m %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:37 %~ failed_mpred_test( clause_u( loves(Loves,Loves1))) %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 (0)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (1)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m0m92m49m15m '$toplevel'. 0m49m0m0m0m % toplevel.pl:701: (2)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m2m99m49m10m '$runtoplevel'. 0m49m0m0m0m % toplevel.pl:713: (10)$0m1m94m49m11m[system]0m49m0m21m0m0m2m99m49m14m '$load_file'('mt_01c_0a.pl',user,''). 0m49m0m0m0m % init.pl:2353: (13)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$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/mt_01c_0a.pl ',(0x5644d26c1700),[expand(false),expand(true)])),'$mt_do_load'((0x5644d26c1700),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),'$mt_end_load'((0x5644d26c1700)))). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (14)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (16)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m 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/mt_01c_0a.pl ',(0x5644d26c1700),[expand(false),expand(true)])),system:'$mt_do_load'((0x5644d26c1700),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x5644d26c1700))). 0m49m0m21m0m % init.pl:646: (18)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m93m49m10m '$qdo_load_file'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:2546: (21)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m32m49m14m '$do_load_file_2'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,compiled,[expand(false),expand(true)]). 0m49m39m0m0m % init.pl:2592: (25)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',1632225607.2570815),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',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/mt_01c_0a.pl ',lexstate(202,swi),user)). 0m49m0m21m0m % init.pl:646: (26)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',A,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:3007: (27)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3074: (28)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m96m49m16m '$execute_directive'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m0m0m0m % init.pl:3549: (30)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m37m40m13m '$execute_directive_2'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3571: (31)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m32m49m14m '$execute_directive_3'(clause_u(loves(A,B))). 0m49m39m0m0m % init.pl:3574: (32)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m catch(user:clause_u(loves(A,B)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m21m0m % init.pl:546: (33)0m0m94m49m14m[user]0m49m0m0m0m#0m1m36m49m13m pfc_lib:clause_u(loves(A,B)). 0m49m39m21m0m % mpred_core.pl:4331: (34)$0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:log_failure(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4209: (35)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (36)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (37)0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4229: (38)$0m0m94m49m14m[user]0m49m0m0m0m0m2m97m40m11m pfc_lib:break_ex. 0m49m0m0m0m % mpred_core.pl:4226: (39)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (40)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (41)0m0m94m49m14m[user]0m49m0m0m0m0m1m33m49m13m dumpst:dumpST. 0m49m39m21m0m % dumpst.pl:150: %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ DUMP_BREAK/0 %~ message_hook(unhandled_exception(abort),error,['Unhandled exception: ','~p'-[abort]]) Unhandled exception: abort ERROR: Unhandled exception: abort ~*/ /*~ ~*/ /* % % PFC is a language extension for prolog. % % It adds a new type of module inheritance % % Dec 13, 2035 % Douglas Miles */ % was_module(header_sane,[]). :- include(library(logicmoo_test_header)). % :- rtrace. /*~ 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( :-( expects_dialect(pfc))) %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96 %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) ~*/ % :- rtrace. :- expects_dialect(pfc). /*~ ~*/ :- must(is_pfc_file). /*~ %~ ?-( mpred_test("Test_0003_Line_0000__Is_pfc_file_in_user",user:is_pfc_file)). failure=info((why_was_true(user:(\+is_pfc_file)),nop(ftrace(user:is_pfc_file)))) no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). name='logicmoo.pfc.test.sanity_base.MT_01C_0A-Test_0003_Line_0000__Is_pfc_file_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_01C_0A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_01c_0a.pl\']"'. % 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_MT_01C_0A_Test_0003_Line_0000_Is_pfc_file_in_user-junit.xml ~*/ :- set_fileAssertMt(cycKB1). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:19 %~ set_fileAssertMt(cycKB1) ~*/ :- listing(baseKB:mtProlog/1). /*~ %~ skipped( listing( baseKB : mtProlog/1)) ~*/ :- listing(baseKB:mtHybrid/1). /*~ %~ skipped( listing( baseKB : mtHybrid/1)) ~*/ :- listing(baseKB:genlMt/2). /*~ %~ skipped( listing( baseKB : genlMt/2)) ~*/ :- listing(cycKB1:_). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:24 %~ skipped( listing( cycKB1 : CycKB1)) ~*/ :- listing(genlMt/2). /*~ %~ skipped( listing( genlMt/2)) ~*/ :- mpred_trace_exec. /*~ ~*/ cycKB1:loves(sally,joe). /*~ No source location!? ~*/ :- mpred_must(clause_u(cycKB1:loves(_,_))). /*~ ~*/ :- mpred_must(\+clause_u(baseKB:loves(_,_))). /*~ ~*/ :- pfc_test_feature(mt,\+ clause_u(header_sane:loves(_,_))). /*~ ~*/ :- mpred_must(clause_u(loves(_,_))). /*~ %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure+failed_mpred_test(clause_u(loves(_260940,_260962)))]) 39m %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:37 %~ failed_mpred_test( clause_u( loves(Loves,Loves1))) %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 (0)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (1)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m0m92m49m15m '$toplevel'. 0m49m0m0m0m % toplevel.pl:701: (2)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m2m99m49m10m '$runtoplevel'. 0m49m0m0m0m % toplevel.pl:713: (10)$0m1m94m49m11m[system]0m49m0m21m0m0m2m99m49m14m '$load_file'('mt_01c_0a.pl',user,''). 0m49m0m0m0m % init.pl:2353: (13)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$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/mt_01c_0a.pl ',(0x5644d26c1c00),[expand(false),expand(true)])),'$mt_do_load'((0x5644d26c1c00),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),'$mt_end_load'((0x5644d26c1c00)))). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (14)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (16)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m 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/mt_01c_0a.pl ',(0x5644d26c1c00),[expand(false),expand(true)])),system:'$mt_do_load'((0x5644d26c1c00),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x5644d26c1c00))). 0m49m0m21m0m % init.pl:646: (18)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m93m49m10m '$qdo_load_file'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:2546: (21)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m32m49m14m '$do_load_file_2'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,compiled,[expand(false),expand(true)]). 0m49m39m0m0m % init.pl:2592: (25)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',1632225607.2570815),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',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/mt_01c_0a.pl ',lexstate(202,swi),user)). 0m49m0m21m0m % init.pl:646: (26)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',A,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:3007: (27)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3074: (28)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m96m49m16m '$execute_directive'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m0m0m0m % init.pl:3549: (30)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m37m40m13m '$execute_directive_2'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3571: (31)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m32m49m14m '$execute_directive_3'(clause_u(loves(A,B))). 0m49m39m0m0m % init.pl:3574: (32)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m catch(user:clause_u(loves(A,B)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m21m0m % init.pl:546: (33)0m0m94m49m14m[user]0m49m0m0m0m#0m1m36m49m13m pfc_lib:clause_u(loves(A,B)). 0m49m39m21m0m % mpred_core.pl:4331: (34)$0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:log_failure(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4209: (35)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (36)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (37)0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4229: (38)$0m0m94m49m14m[user]0m49m0m0m0m0m2m97m40m11m pfc_lib:break_ex. 0m49m0m0m0m % mpred_core.pl:4226: (39)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (40)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (41)0m0m94m49m14m[user]0m49m0m0m0m0m1m33m49m13m dumpst:dumpST. 0m49m39m21m0m % dumpst.pl:150: %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ DUMP_BREAK/0 %~ message_hook(unhandled_exception(abort),error,['Unhandled exception: ','~p'-[abort]]) Unhandled exception: abort ERROR: Unhandled exception: abort ~*/ /*~ ~*/ /* % % PFC is a language extension for prolog. % % It adds a new type of module inheritance % % Dec 13, 2035 % Douglas Miles */ % was_module(header_sane,[]). :- include(library(logicmoo_test_header)). % :- rtrace. /*~ running(-), %~ reload_of_test_header. %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need( :-( expects_dialect(pfc))) %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) ~*/ % :- rtrace. :- expects_dialect(pfc). /*~ ~*/ :- must(is_pfc_file). /*~ %~ ?-( mpred_test("Test_0004_Line_0000__Is_pfc_file_in_user",user:is_pfc_file)). failure=info((why_was_true(user:(\+is_pfc_file)),nop(ftrace(user:is_pfc_file)))) no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). name='logicmoo.pfc.test.sanity_base.MT_01C_0A-Test_0004_Line_0000__Is_pfc_file_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_01C_0A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_01c_0a.pl\']"'. % 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_MT_01C_0A_Test_0004_Line_0000_Is_pfc_file_in_user-junit.xml ~*/ :- set_fileAssertMt(cycKB1). /*~ %~ set_fileAssertMt(cycKB1) ~*/ :- listing(baseKB:mtProlog/1). /*~ %~ skipped( listing( baseKB : mtProlog/1)) ~*/ :- listing(baseKB:mtHybrid/1). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:22 %~ skipped( listing( baseKB : mtHybrid/1)) ~*/ :- listing(baseKB:genlMt/2). /*~ %~ skipped( listing( baseKB : genlMt/2)) ~*/ :- listing(cycKB1:_). /*~ %~ skipped( listing( cycKB1 : CycKB1)) ~*/ :- listing(genlMt/2). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:25 %~ skipped( listing( genlMt/2)) ~*/ :- mpred_trace_exec. /*~ ~*/ cycKB1:loves(sally,joe). /*~ No source location!? ~*/ :- mpred_must(clause_u(cycKB1:loves(_,_))). /*~ ~*/ :- mpred_must(\+clause_u(baseKB:loves(_,_))). /*~ ~*/ :- pfc_test_feature(mt,\+ clause_u(header_sane:loves(_,_))). /*~ ~*/ :- mpred_must(clause_u(loves(_,_))). /*~ %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure+failed_mpred_test(clause_u(loves(_27664,_27686)))]) 39m %~ failed_mpred_test( clause_u( loves(Loves,Loves1))) %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 (0)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (1)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m0m92m49m15m '$toplevel'. 0m49m0m0m0m % toplevel.pl:701: (2)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m2m99m49m10m '$runtoplevel'. 0m49m0m0m0m % toplevel.pl:713: (10)$0m1m94m49m11m[system]0m49m0m21m0m0m2m99m49m14m '$load_file'('mt_01c_0a.pl',user,''). 0m49m0m0m0m % init.pl:2353: (13)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$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/mt_01c_0a.pl ',(0x5644d26c1380),[expand(false),expand(true)])),'$mt_do_load'((0x5644d26c1380),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),'$mt_end_load'((0x5644d26c1380)))). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (14)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (16)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m 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/mt_01c_0a.pl ',(0x5644d26c1380),[expand(false),expand(true)])),system:'$mt_do_load'((0x5644d26c1380),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x5644d26c1380))). 0m49m0m21m0m % init.pl:646: (18)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m93m49m10m '$qdo_load_file'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:2546: (21)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m32m49m14m '$do_load_file_2'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,compiled,[expand(false),expand(true)]). 0m49m39m0m0m % init.pl:2592: (25)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',1632225607.2570815),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',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/mt_01c_0a.pl ',lexstate(202,swi),user)). 0m49m0m21m0m % init.pl:646: (26)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',A,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:3007: (27)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3074: (28)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m96m49m16m '$execute_directive'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m0m0m0m % init.pl:3549: (30)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m37m40m13m '$execute_directive_2'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3571: (31)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m32m49m14m '$execute_directive_3'(clause_u(loves(A,B))). 0m49m39m0m0m % init.pl:3574: (32)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m catch(user:clause_u(loves(A,B)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m21m0m % init.pl:546: (33)0m0m94m49m14m[user]0m49m0m0m0m#0m1m36m49m13m pfc_lib:clause_u(loves(A,B)). 0m49m39m21m0m % mpred_core.pl:4331: (34)$0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:log_failure(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4209: (35)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (36)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (37)0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4229: (38)$0m0m94m49m14m[user]0m49m0m0m0m0m2m97m40m11m pfc_lib:break_ex. 0m49m0m0m0m % mpred_core.pl:4226: (39)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (40)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (41)0m0m94m49m14m[user]0m49m0m0m0m0m1m33m49m13m dumpst:dumpST. 0m49m39m21m0m % dumpst.pl:150: %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ DUMP_BREAK/0 %~ message_hook(unhandled_exception(abort),error,['Unhandled exception: ','~p'-[abort]]) Unhandled exception: abort ERROR: Unhandled exception: abort ~*/ /*~ ~*/ /* % % PFC is a language extension for prolog. % % It adds a new type of module inheritance % % Dec 13, 2035 % Douglas Miles */ % was_module(header_sane,[]). :- include(library(logicmoo_test_header)). % :- rtrace. /*~ running(-), %~ reload_of_test_header. %~ this_test_might_need( :-( expects_dialect(pfc))) %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96 %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) ~*/ % :- rtrace. :- expects_dialect(pfc). /*~ ~*/ :- must(is_pfc_file). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:17 %~ ?-( mpred_test("Test_0005_Line_0000__Is_pfc_file_in_user",user:is_pfc_file)). failure=info((why_was_true(user:(\+is_pfc_file)),nop(ftrace(user:is_pfc_file)))) no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). name='logicmoo.pfc.test.sanity_base.MT_01C_0A-Test_0005_Line_0000__Is_pfc_file_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_01C_0A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_01c_0a.pl\']"'. % 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_MT_01C_0A_Test_0005_Line_0000_Is_pfc_file_in_user-junit.xml ~*/ :- set_fileAssertMt(cycKB1). /*~ %~ set_fileAssertMt(cycKB1) ~*/ :- listing(baseKB:mtProlog/1). /*~ %~ skipped( listing( baseKB : mtProlog/1)) ~*/ :- listing(baseKB:mtHybrid/1). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:22 %~ skipped( listing( baseKB : mtHybrid/1)) ~*/ :- listing(baseKB:genlMt/2). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl:23 %~ skipped( listing( baseKB : genlMt/2)) ~*/ :- listing(cycKB1:_). /*~ %~ skipped( listing( cycKB1 : CycKB1)) ~*/ :- listing(genlMt/2). /*~ %~ skipped( listing( genlMt/2)) ~*/ :- mpred_trace_exec. /*~ ~*/ cycKB1:loves(sally,joe). /*~ No source location!? ~*/ :- mpred_must(clause_u(cycKB1:loves(_,_))). /*~ ~*/ :- mpred_must(\+clause_u(baseKB:loves(_,_))). /*~ ~*/ :- pfc_test_feature(mt,\+ clause_u(header_sane:loves(_,_))). /*~ ~*/ :- mpred_must(clause_u(loves(_,_))). /*~ %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure+failed_mpred_test(clause_u(loves(_402102,_402124)))]) 39m %~ failed_mpred_test( clause_u( loves(Loves,Loves1))) %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 31msmart_format("%%%%%%%%%%%%%%%%%%%%%%%%%%% (~w) ~w %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n",[red,failure]) 39m %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl#L37 (0)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (1)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m0m92m49m15m '$toplevel'. 0m49m0m0m0m % toplevel.pl:701: (2)$0m0m92m49m15m[$toplevel]0m49m0m0m0m0m2m99m49m10m '$runtoplevel'. 0m49m0m0m0m % toplevel.pl:713: (10)$0m1m94m49m11m[system]0m49m0m21m0m0m2m99m49m14m '$load_file'('mt_01c_0a.pl',user,''). 0m49m0m0m0m % init.pl:2353: (13)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$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/mt_01c_0a.pl ',(0x5644d26c1d80),[expand(false),expand(true)])),'$mt_do_load'((0x5644d26c1d80),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),'$mt_end_load'((0x5644d26c1d80)))). 0m49m0m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (14)$0m1m94m49m11m[system]0m49m0m21m0m0m0m39m49m14m '$c_call_prolog'. 0m49m39m0m0m0m2m39m49m13m no(clause) 0m49m39m0m0m (16)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m 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/mt_01c_0a.pl ',(0x5644d26c1d80),[expand(false),expand(true)])),system:'$mt_do_load'((0x5644d26c1d80),'mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x5644d26c1d80))). 0m49m0m21m0m % init.pl:646: (18)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m93m49m10m '$qdo_load_file'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:2546: (21)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m32m49m14m '$do_load_file_2'('mt_01c_0a.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',user,compiled,[expand(false),expand(true)]). 0m49m39m0m0m % init.pl:2592: (25)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',1632225607.2570815),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',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/mt_01c_0a.pl ',lexstate(202,swi),user)). 0m49m0m21m0m % init.pl:646: (26)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m99m49m14m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',A,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:3007: (27)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3074: (28)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m37m40m14m '$compile_term'((:-clause_u(loves(A,B))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m96m49m16m '$execute_directive'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m0m0m0m % init.pl:3549: (30)$0m1m94m49m11m[system]0m49m0m21m0m#0m2m37m40m13m '$execute_directive_2'(clause_u(loves(A,B)),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_01c_0a.pl '). 0m49m39m0m0m % init.pl:3571: (31)$0m1m94m49m11m[system]0m49m0m21m0m#0m0m32m49m14m '$execute_directive_3'(clause_u(loves(A,B))). 0m49m39m0m0m % init.pl:3574: (32)$0m1m94m49m11m[system]0m49m0m21m0m#0m1m94m49m11m catch(user:clause_u(loves(A,B)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m21m0m % init.pl:546: (33)0m0m94m49m14m[user]0m49m0m0m0m#0m1m36m49m13m pfc_lib:clause_u(loves(A,B)). 0m49m39m21m0m % mpred_core.pl:4331: (34)$0m0m94m49m14m[user]0m49m0m0m0m0m1m36m49m13m pfc_lib:log_failure(failed_mpred_test(clause_u(loves(A,B)))). 0m49m39m21m0m % mpred_core.pl:4209: (35)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m0m94m49m14m rtrace:quietly(user:(log_lines(red,failure+failed_mpred_test(clause_u(loves(A,B)))),maybe_mpred_break(failed_mpred_test(clause_u(loves(A,B)))),log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (36)$0m0m94m49m14m[user]0m49m0m0m0m0m0m94m49m14m ''(user:(log_lines(red,failure+failed_mpred_ goal=user:is_pfc_file. time=0.0005958080291748047. failure=failure=info((why_was_true(user:(\+is_pfc_file)),nop(ftrace(user:is_pfc_file)))) no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). no_proof_for(\+is_pfc_file). result=failure. ]]>