(0x5603f2586c00),61), %~ '$start_module'( logicmoo_clif, %~ [], %~ state( true, %~ logicmoo_clif, true,false, %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', -), %~ [ if(not_loaded), %~ true])), %~ frame( 59, %~ clause((0x5603f2373000),65), %~ '$first_term'( %~ :-( module(logicmoo_clif,[])), %~ _21072, %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ state( true, %~ logicmoo_clif, true,false, %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', -), %~ [ if(not_loaded), %~ true])), %~ frame( 58, %~ clause((0x5603f2373400),60), %~ '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_logicmoo_base_c47_prolog_c47_logicmoo_clif_c46_pl, %~ [ if(not_loaded), %~ true])), %~ frame( 57, %~ clause((0x5603f25c9980),5), %~ setup_call_catcher_cleanup( %~ system : '$start_consult'('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',1632432905.770371), %~ system : '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_logicmoo_base_c47_prolog_c47_logicmoo_clif_c46_pl1, %~ [ if(not_loaded), %~ true]), %~ Kw, %~ system : '$end_consult'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ lexstate(202,pfc), %~ t123))), %~ frame( 53, %~ clause((0x5603f27c6000),221), %~ '$do_load_file_2'( library(logicmoo_clif), %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', t123,compiled, %~ [ if(not_loaded), %~ true])), %~ frame( 50, %~ clause((0x5603f259c840),10), %~ '$qdo_load_file'( library(logicmoo_clif), %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', t123,[if(not_loaded),true])), %~ frame( 48, %~ clause((0x5603f25c9980),5), %~ setup_call_catcher_cleanup( %~ system : with_mutex( '$load_file', %~ '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ (0x5603f3c45580), %~ [ if(not_loaded), %~ true])), %~ system : '$mt_do_load'( (0x5603f3c45580), %~ library(logicmoo_clif), %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', t123,[if(not_loaded),true]), %~ Kw3, %~ system : '$mt_end_load'((0x5603f3c45580)))), %~ frame(46,meta_call,0), %~ frame( 45, %~ foreign( system : '$sig_atomic'/1), %~ $sig_atomic( setup_call_cleanup( %~ with_mutex( '$load_file', %~ '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', %~ (0x5603f3c45580), %~ [ if(not_loaded), %~ true])), %~ '$mt_do_load'( (0x5603f3c45580), %~ library(logicmoo_clif), %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl', t123,[if(not_loaded),true]), %~ '$mt_end_load'((0x5603f3c45580))))), %~ frame( 42, %~ clause((0x5603f25a2c80),12), %~ '$load_file'(library(logicmoo_clif),t123,[if(not_loaded),true])), %~ frame( 37, %~ clause((0x560406302c80),31), %~ clif_dialect : clif_expects_dialect(clif,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',pfc,t123)), %~ frame(36,clause((0x56040631db00),49),clif_dialect:clif_expects_dialect(clif)), %~ frame(34,clause((0x560404814480),60),prolog_dialect:attach_dialect(clif)), %~ frame(33,clause((0x560404803200),20),prolog_dialect:expects_dialect(clif)), %~ frame( 32, %~ clause((0x5603f2599380),2), %~ catch( %~ t123 : expects_dialect(clif), %~ error(Error,Error18), %~ system : $exception_in_directive( error(Error5,Error19)))), %~ frame(31,clause((0x5603f2566580),55),'$execute_directive_3'(expects_dialect(clif))), %~ frame( 26, %~ clause((0x5603f2373400),77), %~ '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_logicmoo_base_c47_t_c47_examples_c47_fol_c47_answerable_t_01_c46_pfc_c46_pl, %~ [ expand(false), %~ expand(true)])), %~ frame( 25, %~ clause((0x5603f25c9980),5), %~ setup_call_catcher_cleanup( %~ system : '$start_consult'('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',1632573821.1315794), %~ system : '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_logicmoo_base_c47_t_c47_examples_c47_fol_c47_answerable_t_01_c46_pfc_c46_pl7, %~ [ expand(false), %~ expand(true)]), %~ Kw8, %~ system : '$end_consult'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ lexstate(202,swi), %~ user))), %~ frame( 21, %~ clause((0x5603f27c6000),221), %~ '$do_load_file_2'( 'answerable_t_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', user,compiled, %~ [ expand(false), %~ expand(true)])), %~ frame( 18, %~ clause((0x5603f259c840),10), %~ '$qdo_load_file'( 'answerable_t_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', user,[expand(false),expand(true)])), %~ frame( 16, %~ clause((0x5603f25c9980),5), %~ setup_call_catcher_cleanup( %~ system : with_mutex( '$load_file', %~ '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ (0x5603f3c44a80), %~ [ expand(false), %~ expand(true)])), %~ system : '$mt_do_load'( (0x5603f3c44a80), %~ 'answerable_t_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ user, %~ [ expand(false), %~ expand(true)]), %~ Kw9, %~ system : '$mt_end_load'((0x5603f3c44a80)))), %~ frame(14,meta_call,0), %~ frame( 13, %~ foreign( system : '$sig_atomic'/1), %~ $sig_atomic( setup_call_cleanup( %~ with_mutex( '$load_file', %~ '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', %~ (0x5603f3c44a80), %~ [ expand(false), %~ expand(true)])), %~ '$mt_do_load'( (0x5603f3c44a80), %~ 'answerable_t_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl', user,[expand(false),expand(true)]), %~ '$mt_end_load'((0x5603f3c44a80))))), %~ frame(10,clause((0x5603f25a2c80),12),'$load_file'('answerable_t_01.pfc.pl',user,''))]), %~ 'Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_clif.pl')), %~ error, %~ [ 'No permission to ~w ~w `~p\''-[redefine,module,logicmoo_clif], %~ ' (~w)'-['Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_clif.pl'], nl,...(_10498)]) %~ source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/test_header.pl',5) No permission to redefine module `logicmoo_clif' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_clif.pl) In: [61] $declare_module(logicmoo_clif,user,user,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',1,false) [60] $start_module(logicmoo_clif,[],state(true,logicmoo_clif,true,false,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3166 [59] $first_term((:-module(logicmoo_clif,[])),_706,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',state(true,logicmoo_clif,true,false,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3055 [58] $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',_784,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007 [57] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',1632432905.770371),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',_862,[if(not_loaded),must_be_module(true)]),_834,system: $end_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',lexstate(202,pfc),t123)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 [53] $do_load_file_2(library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,compiled,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592 [50] $qdo_load_file(library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547 [48] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',(0x5603f3c45580),[if(not_loaded),must_be_module(true)])),system: $mt_do_load((0x5603f3c45580),library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,[if(not_loaded),must_be_module(true)]),_1042,system: $mt_end_load((0x5603f3c45580))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 [46] [45] $sig_atomic(setup_call_cleanup(with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',(0x5603f3c45580),[if(not_loaded),must_be_module(true)])),$mt_do_load((0x5603f3c45580),library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,[if(not_loaded),must_be_module(true)]),$mt_end_load((0x5603f3c45580)))) [42] $load_file(library(logicmoo_clif),t123,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2355 [37] clif_dialect:clif_expects_dialect(clif,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',pfc,t123) at /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/dialect/clif.pl:283 [36] clif_dialect:clif_expects_dialect(clif) at /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/dialect/clif.pl:122 [34] prolog_dialect:attach_dialect(clif) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/library/dialect.pl:87 [33] prolog_dialect:expects_dialect(clif) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/library/dialect.pl:73 [32] catch(t123:expects_dialect(clif),error(_1486,_1488),system: $exception_in_directive(error(_1502,_1504))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:546 [31] $execute_directive_3(expects_dialect(clif)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3574 [26] $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',_1560,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007 [25] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',1632573821.1315794),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',_1638,[expand(false),expand(true)]),_1610,system: $end_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',lexstate(202,swi),user)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 [21] $do_load_file_2('answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,compiled,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592 [18] $qdo_load_file('answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547 [16] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',(0x5603f3c44a80),[expand(false),expand(true)])),system: $mt_do_load((0x5603f3c44a80),'answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,[expand(false),expand(true)]),_1810,system: $mt_end_load((0x5603f3c44a80))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 [14] [13] $sig_atomic(setup_call_cleanup(with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',(0x5603f3c44a80),[expand(false),expand(true)])),$mt_do_load((0x5603f3c44a80),'answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,[expand(false),expand(true)]),$mt_end_load((0x5603f3c44a80)))) [10] $load_file('answerable_t_01.pfc.pl',user,) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2355 Note: some frames are missing due to last-call optimization. Re-run your program in debug mode (:- debug.) to get more detail. ERROR: /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/test_header.pl:5: ERROR: No permission to redefine module `logicmoo_clif' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_clif.pl) ERROR: In: ERROR: [61] $declare_module(logicmoo_clif,user,user,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',1,false) ERROR: [60] $start_module(logicmoo_clif,[],state(true,logicmoo_clif,true,false,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3166 ERROR: [59] $first_term((:-module(logicmoo_clif,[])),_706,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',state(true,logicmoo_clif,true,false,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3055 ERROR: [58] $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',_784,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007 ERROR: [57] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',1632432905.770371),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',_862,[if(not_loaded),must_be_module(true)]),_834,system: $end_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',lexstate(202,pfc),t123)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 ERROR: [53] $do_load_file_2(library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,compiled,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592 ERROR: [50] $qdo_load_file(library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547 ERROR: [48] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',(0x5603f3c45580),[if(not_loaded),must_be_module(true)])),system: $mt_do_load((0x5603f3c45580),library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,[if(not_loaded),must_be_module(true)]),_1042,system: $mt_end_load((0x5603f3c45580))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 ERROR: [46] ERROR: [45] $sig_atomic(setup_call_cleanup(with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',(0x5603f3c45580),[if(not_loaded),must_be_module(true)])),$mt_do_load((0x5603f3c45580),library(logicmoo_clif),'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_clif.pl',t123,[if(not_loaded),must_be_module(true)]),$mt_end_load((0x5603f3c45580)))) ERROR: [42] $load_file(library(logicmoo_clif),t123,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2355 ERROR: [37] clif_dialect:clif_expects_dialect(clif,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',pfc,t123) at /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/dialect/clif.pl:283 ERROR: [36] clif_dialect:clif_expects_dialect(clif) at /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/prolog/dialect/clif.pl:122 ERROR: [34] prolog_dialect:attach_dialect(clif) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/library/dialect.pl:87 ERROR: [33] prolog_dialect:expects_dialect(clif) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/library/dialect.pl:73 ERROR: [32] catch(t123:expects_dialect(clif),error(_1486,_1488),system: $exception_in_directive(error(_1502,_1504))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:546 ERROR: [31] $execute_directive_3(expects_dialect(clif)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3574 ERROR: [26] $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',_1560,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007 ERROR: [25] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',1632573821.1315794),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',_1638,[expand(false),expand(true)]),_1610,system: $end_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',lexstate(202,swi),user)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 ERROR: [21] $do_load_file_2('answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,compiled,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592 ERROR: [18] $qdo_load_file('answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547 ERROR: [16] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',(0x5603f3c44a80),[expand(false),expand(true)])),system: $mt_do_load((0x5603f3c44a80),'answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,[expand(false),expand(true)]),_1810,system: $mt_end_load((0x5603f3c44a80))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646 ERROR: [14] ERROR: [13] $sig_atomic(setup_call_cleanup(with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',(0x5603f3c44a80),[expand(false),expand(true)])),$mt_do_load((0x5603f3c44a80),'answerable_t_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl',user,[expand(false),expand(true)]),$mt_end_load((0x5603f3c44a80)))) ERROR: [10] $load_file('answerable_t_01.pfc.pl',user,) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2355 ERROR: ERROR: Note: some frames are missing due to last-call optimization. ERROR: Re-run your program in debug mode (:- debug.) to get more detail. %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/test_header.pl:5 %~ message_hook( %~ goal_failed(directive,t123:expects_dialect(clif)), %~ warning, %~ [ 'Goal (~w) failed: ~p' - [ directive, %~ t123 : expects_dialect(clif)]]) %~ source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/test_header.pl',5) Goal (directive) failed: t123:expects_dialect(clif) Warning: /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/test_header.pl:5: Warning: Goal (directive) failed: t123:expects_dialect(clif) %~ message_hook( %~ error( syntax_error(operator_expected), %~ string(":- test_boxlog(( ~fallacy_t(PROP) => unknown_t(PROP) v false_t(PROP) v true_t(PROP) )) . ",52)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( ~fallacy_t(PROP) => unknown_t(PROP)"], nl,'** here **',nl, %~ '~w'-[" v false_t(PROP) v true_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( ~fallacy_t(PROP) => unknown_t(PROP) ** here ** v false_t(PROP) v true_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( ~fallacy_t(PROP) => unknown_t(PROP) ERROR: ** here ** ERROR: v false_t(PROP) v true_t(PROP) )) . :- test_boxlog(( ~fallacy_t(PROP) => unknown_t(PROP) v false_t(PROP) v true_t(PROP) )). %~ message_hook( %~ error( syntax_error(operator_expected), %~ string(":- test_boxlog(( ~unknown_t(PROP) => true_t(PROP) v false_t(PROP) )) . ",49)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( ~unknown_t(PROP) => true_t(PROP)"], nl,'** here **',nl, %~ '~w'-[" v false_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( ~unknown_t(PROP) => true_t(PROP) ** here ** v false_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( ~unknown_t(PROP) => true_t(PROP) ERROR: ** here ** ERROR: v false_t(PROP) )) . :- test_boxlog(( ~unknown_t(PROP) => true_t(PROP) v false_t(PROP) )). %~ message_hook( %~ error( syntax_error(operator_expected), %~ string(":- test_boxlog(( ~false_t(PROP) => fallacy_t(PROP) v unknown_t(PROP) v true_t(PROP) )) . ",50)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( ~false_t(PROP) => fallacy_t(PROP)"], nl,'** here **',nl, %~ '~w'-[" v unknown_t(PROP) v true_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( ~false_t(PROP) => fallacy_t(PROP) ** here ** v unknown_t(PROP) v true_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( ~false_t(PROP) => fallacy_t(PROP) ERROR: ** here ** ERROR: v unknown_t(PROP) v true_t(PROP) )) . :- test_boxlog(( ~false_t(PROP) => fallacy_t(PROP) v unknown_t(PROP) v true_t(PROP) )). %~ message_hook( %~ error( syntax_error(operator_expected), %~ string(":- test_boxlog(( answerable_t(PROP) askable_t(PROP) & ~unknown_t(PROP) )) . ",35)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( answerable_t(PROP)"], nl,'** here **',nl, %~ '~w'-[" askable_t(PROP) & ~unknown_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( answerable_t(PROP) ** here ** askable_t(PROP) & ~unknown_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( answerable_t(PROP) ERROR: ** here ** ERROR: askable_t(PROP) & ~unknown_t(PROP) )) . :- test_boxlog(( answerable_t(PROP) askable_t(PROP) & ~unknown_t(PROP) )). %~ message_hook( %~ error( syntax_error(operator_expected), %~ string(":- test_boxlog(( answerable_t(PROP) => true_t(PROP) v false_t(PROP) )) . ",51)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( answerable_t(PROP) => true_t(PROP)"], nl,'** here **',nl, %~ '~w'-[" v false_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( answerable_t(PROP) => true_t(PROP) ** here ** v false_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( answerable_t(PROP) => true_t(PROP) ERROR: ** here ** ERROR: v false_t(PROP) )) . :- test_boxlog(( answerable_t(PROP) => true_t(PROP) v false_t(PROP) )). %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl:17 %~ message_hook( %~ error(syntax_error(operator_expected),string(":- test_boxlog(( askable_t(PROP) ~fallacy_t(PROP) )) . ",32)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( askable_t(PROP)"],nl, %~ '** here **',nl, %~ '~w'-[" ~fallacy_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( askable_t(PROP) ** here ** ~fallacy_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( askable_t(PROP) ERROR: ** here ** ERROR: ~fallacy_t(PROP) )) . :- test_boxlog(( askable_t(PROP) ~fallacy_t(PROP) )). %~ message_hook( %~ error( syntax_error(operator_expected), %~ string(":- test_boxlog(( askable_t(PROP) => true_t(PROP) v unknown_t(PROP) v false_t(PROP) )) . ",48)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( askable_t(PROP) => true_t(PROP)"], nl,'** here **',nl, %~ '~w'-[" v unknown_t(PROP) v false_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( askable_t(PROP) => true_t(PROP) ** here ** v unknown_t(PROP) v false_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( askable_t(PROP) => true_t(PROP) ERROR: ** here ** ERROR: v unknown_t(PROP) v false_t(PROP) )) . :- test_boxlog(( askable_t(PROP) => true_t(PROP) v unknown_t(PROP) v false_t(PROP) )). %~ message_hook( %~ error(syntax_error(operator_expected),string(":- test_boxlog(( askable_t(PROP) v fallacy_t(PROP) )) . ",32)), %~ error, %~ [ 'Syntax error: ', 'Operator expected',nl, %~ '~w'-[":- test_boxlog(( askable_t(PROP)"],nl, %~ '** here **',nl, %~ '~w'-[" v fallacy_t(PROP) )) . "]]) Syntax error: Operator expected :- test_boxlog(( askable_t(PROP) ** here ** v fallacy_t(PROP) )) . ERROR: Syntax error: Operator expected ERROR: :- test_boxlog(( askable_t(PROP) ERROR: ** here ** ERROR: v fallacy_t(PROP) )) . :- test_boxlog(( askable_t(PROP) v fallacy_t(PROP) )). :- test_boxlog(( asserted_t(PROP) => true_t(PROP) )). /*~ %~ ?-( mpred_test( "Test_0001_Line_0000__asserted_t_1_in_t123", %~ t123 : test_boxlog( asserted_t(PROP)=>true_t(PROP)))). %~ make_dynamic_here(t123,'$nt'(wid(rule1:0,rule,asserted_t(_69226)=>true_t(_69226)),_69238,_69240)) %~ kifm = asserted_t(PROP)=>true_t(PROP). %~ kif_to_boxlog_attvars2 = =>(asserted_t('$VAR'('PROP')),true_t('$VAR'('PROP'))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa true_t is false %~ It's Proof that: %~ ?PROP isa asserted_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ~true_t(PROP)==> ~asserted_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa asserted_t %~ It's Proof that: %~ ?PROP isa true_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% asserted_t(PROP)==>true_t(PROP). %~ kifm = asserted_t(PROP)=>true_t(PROP). passed=info(why_was_true(t123:test_boxlog(asserted_t(_456)=>true_t(_456)))) no_proof_for(test_boxlog(asserted_t(PROP)=>true_t(PROP))). %~ kifm=asserted_t(PROP)=>true_t(PROP) %~ kif_to_boxlog_attvars2 = =>(asserted_t('$VAR'('PROP')),true_t('$VAR'('PROP'))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa true_t is false %~ It's Proof that: %~ ?PROP isa asserted_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ~true_t(PROP)==> ~asserted_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa asserted_t %~ It's Proof that: %~ ?PROP isa true_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% asserted_t(PROP)==>true_t(PROP). no_proof_for(test_boxlog(asserted_t(PROP)=>true_t(PROP))). no_proof_for(test_boxlog(asserted_t(PROP)=>true_t(PROP))). name='logicmoo.base.examples.fol.ANSWERABLE_T_01-Test_0001_Line_0000__asserted_t_1_in_t123'. JUNIT_CLASSNAME='logicmoo.base.examples.fol.ANSWERABLE_T_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'answerable_t_01.pfc.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ANSWERABLE_T_01_Test_0001_Line_0000_asserted_t_1_in_t123-junit.xml ~*/ :- test_boxlog(( fallacy_t(PROP) => false_t(PROP) & true_t(PROP) & ~unknown_t(PROP) & ~possible_t(PROP) )). /*~ %~ ?-( mpred_test( "Test_0002_Line_0000__fallacy_t_1_in_t123", %~ t123 : test_boxlog( =>( fallacy_t(PROP), %~ ( false_t(PROP) & %~ true_t(PROP) & %~ ~( unknown_t(PROP)) & %~ ~( possible_t(PROP))))))). %~ kifm = =>( fallacy_t(PROP), %~ ( false_t(PROP) & %~ true_t(PROP) & %~ ~( unknown_t(PROP)) & %~ ~( possible_t(PROP)))). %~ kif_to_boxlog_attvars2 = =>(fallacy_t('$VAR'('PROP')),and(and(and(false_t('$VAR'('PROP')),true_t('$VAR'('PROP'))),not(unknown_t('$VAR'('PROP')))),not(possible_t('$VAR'('PROP'))))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa possible_t %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% possible_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t %~ It's Proof that: %~ ?PROP isa possible_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)==> ~possible_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa unknown_t %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% unknown_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t %~ It's Proof that: %~ ?PROP isa unknown_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)==> ~unknown_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa true_t is possible and %~ ?PROP isa false_t is false %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% poss(true_t(PROP))& ~false_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa false_t is false %~ It's Proof that: %~ ?PROP isa true_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)& ~false_t(PROP)==> ~true_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa true_t is possible %~ It's Proof that: %~ ?PROP isa false_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)&poss(true_t(PROP))==>false_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa false_t is possible and %~ ?PROP isa true_t is false %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% poss(false_t(PROP))& ~true_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa true_t is false %~ It's Proof that: %~ ?PROP isa false_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)& ~true_t(PROP)==> ~false_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa false_t is possible %~ It's Proof that: %~ ?PROP isa true_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)&poss(false_t(PROP))==>true_t(PROP). %~ kifm = ( fallacy_t(PROP) => %~ ( false_t(PROP) & %~ true_t(PROP) & %~ ~( unknown_t(PROP)) & %~ ~( possible_t(PROP)))). passed=info(why_was_true(t123:test_boxlog(fallacy_t(_538)=>(((false_t(_538)&true_t(_538))& ~unknown_t(_538))& ~possible_t(_538))))) no_proof_for(test_boxlog(fallacy_t(PROP)=>(((false_t(PROP)&true_t(PROP))& ~unknown_t(PROP))& ~possible_t(PROP)))). %~ kifm=fallacy_t(PROP)=>(((false_t(PROP)&true_t(PROP))& ~unknown_t(PROP))& ~possible_t(PROP)) %~ kif_to_boxlog_attvars2 = =>(fallacy_t('$VAR'('PROP')),and(and(and(false_t('$VAR'('PROP')),true_t('$VAR'('PROP'))),not(unknown_t('$VAR'('PROP')))),not(possible_t('$VAR'('PROP'))))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa possible_t %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% possible_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t %~ It's Proof that: %~ ?PROP isa possible_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)==> ~possible_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa unknown_t %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% unknown_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t %~ It's Proof that: %~ ?PROP isa unknown_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)==> ~unknown_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa true_t is possible and %~ ?PROP isa false_t is false %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% poss(true_t(PROP))& ~false_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa false_t is false %~ It's Proof that: %~ ?PROP isa true_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)& ~false_t(PROP)==> ~true_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa true_t is possible %~ It's Proof that: %~ ?PROP isa false_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)&poss(true_t(PROP))==>false_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa false_t is possible and %~ ?PROP isa true_t is false %~ It's Proof that: %~ ?PROP isa fallacy_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% poss(false_t(PROP))& ~true_t(PROP)==> ~fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa true_t is false %~ It's Proof that: %~ ?PROP isa false_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)& ~true_t(PROP)==> ~false_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t and %~ ?PROP isa false_t is possible %~ It's Proof that: %~ ?PROP isa true_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% fallacy_t(PROP)&poss(false_t(PROP))==>true_t(PROP). no_proof_for(test_boxlog(fallacy_t(PROP)=>(((false_t(PROP)&true_t(PROP))& ~unknown_t(PROP))& ~possible_t(PROP)))). no_proof_for(test_boxlog(fallacy_t(PROP)=>(((false_t(PROP)&true_t(PROP))& ~unknown_t(PROP))& ~possible_t(PROP)))). name='logicmoo.base.examples.fol.ANSWERABLE_T_01-Test_0002_Line_0000__fallacy_t_1_in_t123'. JUNIT_CLASSNAME='logicmoo.base.examples.fol.ANSWERABLE_T_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'answerable_t_01.pfc.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ANSWERABLE_T_01_Test_0002_Line_0000_fallacy_t_1_in_t123-junit.xml ~*/ :- test_boxlog(( true_t(PROP) & false_t(PROP) => fallacy_t(PROP) )). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/answerable_t_01.pfc.pl:22 %~ ?-( mpred_test( "Test_0003_Line_0000__true_t_1_in_t123", %~ t123 : test_boxlog( (true_t(PROP)&false_t(PROP))=>fallacy_t(PROP)))). %~ kifm = (true_t(PROP)&false_t(PROP))=>fallacy_t(PROP). %~ kif_to_boxlog_attvars2 = =>(and(true_t('$VAR'('PROP')),false_t('$VAR'('PROP'))),fallacy_t('$VAR'('PROP'))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa true_t and %~ ?PROP isa false_t %~ It's Proof that: %~ ?PROP isa fallacy_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% true_t(PROP)&false_t(PROP)==>fallacy_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t is false and %~ ?PROP isa false_t %~ It's Proof that: %~ ?PROP isa true_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ~fallacy_t(PROP)&false_t(PROP)==> ~true_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa fallacy_t is false and %~ ?PROP isa true_t %~ It's Proof that: %~ ?PROP isa false_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ~fallacy_t(PROP)&true_t(PROP)==> ~false_t(PROP). %~ kifm = (true_t(PROP)&false_t(PROP))=>fallacy_t(PROP). passed=info(why_was_true(t123:test_boxlog((true_t(_492)&false_t(_492))=>fallacy_t(_492)))) no_proof_for(test_boxlog((true_t(PROP)&false_t(PROP))=>fallacy_t(PROP))). %~ kifm=(true_t(PROP)&false_t(PROP))=>fallacy_t(PROP) %~ kif_to_boxlog_attvars2 = =>(and(true_t('$VAR'('PROP')),false_t('$VAR'('PROP'))),fallacy_t('$VAR'('PROP'))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa true_t and %~ ?PROP isa false_t %~ It's Proof that: %~ ?PROP isa fallacy_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% true_t(PROP)&false_t(PROP)==>fallacy_t(PROP). % AND %~ %%%%%%%% goal=t123:test_boxlog(true_t(_127392)=>possible_t(_127392)). time=0.01250600814819336. passed=passed=info(why_was_true(t123:test_boxlog(true_t(_624586)=>possible_t(_624586)))) no_proof_for(test_boxlog(true_t(PROP)=>possible_t(PROP))). %~ kifm=true_t(PROP)=>possible_t(PROP) %~ kif_to_boxlog_attvars2 = =>(true_t('$VAR'('PROP')),possible_t('$VAR'('PROP'))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa possible_t is false %~ It's Proof that: %~ ?PROP isa true_t is false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ~possible_t(PROP)==> ~true_t(PROP). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ ?PROP isa true_t %~ It's Proof that: %~ ?PROP isa possible_t %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% true_t(PROP)==>possible_t(PROP). no_proof_for(test_boxlog(true_t(PROP)=>possible_t(PROP))). no_proof_for(test_boxlog(true_t(PROP)=>possible_t(PROP))). result=passed. ]]>