'). 0m49m39m21m0m % init.pl:2353: (13)$0m0m39m49m10m[system]0m49m39m0m0m#0m1m37m40m13m '$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_09.pl ',(0x55fc8b068b00),[expand(false),expand(true)])),'$mt_do_load'((0x55fc8b068b00),'mt_09.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ',user,[expand(false),expand(true)]),'$mt_end_load'((0x55fc8b068b00)))). 0m49m39m21m0m0m0m92m49m11m no(clause) 0m49m0m0m0m (14)$0m0m39m49m10m[system]0m49m39m0m0m0m0m99m49m10m '$c_call_prolog'. 0m49m0m0m0m0m0m92m49m11m no(clause) 0m49m0m0m0m (16)$0m0m39m49m10m[system]0m49m39m0m0m#0m0m39m49m10m 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_09.pl ',(0x55fc8b068b00),[expand(false),expand(true)])),system:'$mt_do_load'((0x55fc8b068b00),'mt_09.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'((0x55fc8b068b00))). 0m49m39m0m0m % init.pl:646: (18)$0m0m39m49m10m[system]0m49m39m0m0m#0m2m97m40m12m '$qdo_load_file'('mt_09.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ',user,[expand(false),expand(true)]). 0m49m0m0m0m % init.pl:2546: (21)$0m0m39m49m10m[system]0m49m39m0m0m#0m1m95m49m10m '$do_load_file_2'('mt_09.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ',user,compiled,[expand(false),expand(true)]). 0m49m0m21m0m % init.pl:2592: (25)$0m0m39m49m10m[system]0m49m39m0m0m#0m0m39m49m10m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ',1632225690.9774585),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.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_09.pl ',lexstate(202,swi),user)). 0m49m39m0m0m % init.pl:646: (26)$0m0m39m49m10m[system]0m49m39m0m0m#0m1m37m40m13m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ',A,[expand(false),expand(true)]). 0m49m39m21m0m % init.pl:3007: (27)$0m0m39m49m10m[system]0m49m39m0m0m#0m0m36m49m11m '$compile_term'((:-clause(kb2:a,A)),B,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl '). 0m49m39m0m0m % init.pl:3074: (28)$0m0m39m49m10m[system]0m49m39m0m0m#0m0m36m49m11m '$compile_term'((:-clause(kb2:a,A)),B,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl ',-). 0m49m39m0m0m % init.pl:3084: (29)$0m0m39m49m10m[system]0m49m39m0m0m#0m1m93m49m10m '$execute_directive'(clause(kb2:a,A),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl '). 0m49m0m21m0m % init.pl:3549: (30)$0m0m39m49m10m[system]0m49m39m0m0m#0m1m32m49m14m '$execute_directive_2'(clause(kb2:a,A),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl '). 0m49m39m21m0m % init.pl:3571: (31)$0m0m39m49m10m[system]0m49m39m0m0m#0m0m91m49m10m '$execute_directive_3'(clause(kb2:a,A)). 0m49m0m0m0m % init.pl:3574: (32)$0m0m39m49m10m[system]0m49m39m0m0m#0m0m39m49m10m catch(myMt:clause(kb2:a,A),error(B,C),system:'$exception_in_directive'(error(B,C))). 0m49m39m0m0m % init.pl:546: (33)0m2m93m49m14m[myMt]0m49m0m0m0m#0m1m95m49m17m pfc_lib:clause(kb2:a,A). 0m49m0m21m0m % mpred_core.pl:4331: (34)$0m2m93m49m14m[myMt]0m49m0m0m0m0m1m95m49m17m pfc_lib:log_failure(failed_mpred_test(clause(kb2:a,A))). 0m49m0m21m0m % mpred_core.pl:4209: (35)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m2m93m49m14m rtrace:quietly(myMt:(log_lines(red,failure+failed_mpred_test(clause(kb2:a,A))),maybe_mpred_break(failed_mpred_test(clause(kb2:a,A))),log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (36)$0m2m93m49m14m[myMt]0m49m0m0m0m0m2m93m49m14m ''(myMt:(log_lines(red,failure+failed_mpred_test(clause(kb2:a,A))),maybe_mpred_break(failed_mpred_test(clause(kb2:a,A))),log_failure_red)). 0m49m0m0m0m0m0m92m49m11m no(clause) 0m49m0m0m0m (37)0m2m93m49m14m[myMt]0m49m0m0m0m0m1m95m49m17m pfc_lib:maybe_mpred_break(failed_mpred_test(clause(kb2:a,A))). 0m49m0m21m0m % mpred_core.pl:4229: (38)$0m2m93m49m14m[myMt]0m49m0m0m0m0m0m99m49m15m pfc_lib:break_ex. 0m49m0m0m0m % mpred_core.pl:4226: (39)$0m0m99m49m17m[rtrace]0m49m0m0m0m0m2m93m49m14m rtrace:quietly(myMt:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m % rtrace.pl:217: (40)$0m2m93m49m14m[myMt]0m49m0m0m0m0m2m93m49m14m ''(myMt:(log_failure_red,dumpST,log_failure_red)). 0m49m0m0m0m0m0m92m49m11m no(clause) 0m49m0m0m0m (41)0m2m93m49m14m[myMt]0m49m0m0m0m0m1m36m49m12m dumpst:dumpST. 0m49m39m21m0m % dumpst.pl:150: %~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mt_09.pl#L68 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(mt_09,[]). :- include(library(logicmoo_test_header)). /*~ running(-), %~ reload_of_test_header. %~ this_test_might_need( :-( expects_dialect(pfc))) %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) ~*/ :- pfc_test_feature(pfc_file_detect,must(\+ is_pfc_file)). %:- add_import_module(mt_01,baseKB,end). /*~ ~*/ %:- add_import_module(mt_01,baseKB,end). :- set_defaultAssertMt(myMt). /*~ ~*/ mtProlog(code1). /*~ No source location!? %~ message_hook( %~ error( %~ permission_error(redefine,imported_procedure,baseKB:mtProlog/1), %~ context(system:'$record_clause'/3,Context_Kw)), %~ error, %~ [ 'No permission to ~w ~w `~p\'' - [ redefine, %~ imported_procedure, %~ baseKB : mtProlog/1]]) No permission to redefine imported_procedure `baseKB:(mtProlog/1)' ERROR: No permission to redefine imported_procedure `baseKB:(mtProlog/1)' ~*/ mtHybrid(kb2). /*~ No source location!? %~ message_hook( %~ error( %~ permission_error(redefine,imported_procedure,baseKB:mtHybrid/1), %~ context(system:'$record_clause'/3,Context_Kw)), %~ error, %~ [ 'No permission to ~w ~w `~p\'' - [ redefine, %~ imported_procedure, %~ baseKB : mtHybrid/1]]) No permission to redefine imported_procedure `baseKB:(mtHybrid/1)' ERROR: No permission to redefine imported_procedure `baseKB:(mtHybrid/1)' ~*/ /* ;; All living people have an organ (forall ((p PersonAlive)) (exists ((o Organ)) (have p o))) ;; An organ exists in which every living Persons ever will exists (exists ((o Organ)) (forall (( goal=myMt:clause(kb2:b,_31104). time=6.079673767089844e-5. passed=passed=info(why_was_true(myMt:clause(kb2:b,true))) no_proof_for(clause(kb2:b,true)). no_proof_for(clause(kb2:b,true)). no_proof_for(clause(kb2:b,true)). result=passed. ]]>