(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: Opera goal=t123:test_boxlog(asserted_t(_82084)=>true_t(_82084)). time=0.16768765449523926. passed=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))). result=passed. ]]>