(0x561845b4ac00),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((0x561845937000),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((0x561845937400),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((0x561845b8d980),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((0x561845d8a000),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((0x561845b60840),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((0x561845b8d980),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', %~ (0x561847209300), %~ [ if(not_loaded), %~ true])), %~ system : '$mt_do_load'( (0x561847209300), %~ 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'((0x561847209300)))), %~ 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', %~ (0x561847209300), %~ [ if(not_loaded), %~ true])), %~ '$mt_do_load'( (0x561847209300), %~ 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'((0x561847209300))))), %~ frame( 42, %~ clause((0x561845b66c80),12), %~ '$load_file'(library(logicmoo_clif),t123,[if(not_loaded),true])), %~ frame( 37, %~ clause((0x5618598c6c80),31), %~ clif_dialect : clif_expects_dialect(clif,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl',pfc,t123)), %~ frame(36,clause((0x5618598e1b00),49),clif_dialect:clif_expects_dialect(clif)), %~ frame(34,clause((0x561857dd8480),60),prolog_dialect:attach_dialect(clif)), %~ frame(33,clause((0x561857dc7200),20),prolog_dialect:expects_dialect(clif)), %~ frame( 32, %~ clause((0x561845b5d380),2), %~ catch( %~ t123 : expects_dialect(clif), %~ error(Error,Error18), %~ system : $exception_in_directive( error(Error5,Error19)))), %~ frame(31,clause((0x561845b2a580),55),'$execute_directive_3'(expects_dialect(clif))), %~ frame( 26, %~ clause((0x561845937400),77), %~ '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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_scope_exists_01_c46_pfc_c46_pl, %~ [ expand(false), %~ expand(true)])), %~ frame( 25, %~ clause((0x561845b8d980),5), %~ setup_call_catcher_cleanup( %~ system : '$start_consult'('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl',1632225670.4754667), %~ system : '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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_scope_exists_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/scope_exists_01.pfc.pl', %~ lexstate(202,swi), %~ user))), %~ frame( 21, %~ clause((0x561845d8a000),221), %~ '$do_load_file_2'( 'scope_exists_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl', user,compiled, %~ [ expand(false), %~ expand(true)])), %~ frame( 18, %~ clause((0x561845b60840),10), %~ '$qdo_load_file'( 'scope_exists_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl', user,[expand(false),expand(true)])), %~ frame( 16, %~ clause((0x561845b8d980),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/scope_exists_01.pfc.pl', %~ (0x561847208a80), %~ [ expand(false), %~ expand(true)])), %~ system : '$mt_do_load'( (0x561847208a80), %~ 'scope_exists_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl', %~ user, %~ [ expand(false), %~ expand(true)]), %~ Kw9, %~ system : '$mt_end_load'((0x561847208a80)))), %~ 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/scope_exists_01.pfc.pl', %~ (0x561847208a80), %~ [ expand(false), %~ expand(true)])), %~ '$mt_do_load'( (0x561847208a80), %~ 'scope_exists_01.pfc.pl', %~ '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl', user,[expand(false),expand(true)]), %~ '$mt_end_load'((0x561847208a80))))), %~ frame(10,clause((0x561845b66c80),12),'$load_file'('scope_exists_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',(0x561847209300),[if(not_loaded),must_be_module(true)])),system: $mt_do_load((0x561847209300),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((0x561847209300))) 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',(0x561847209300),[if(not_loaded),must_be_module(true)])),$mt_do_load((0x561847209300),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((0x561847209300)))) [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/scope_exists_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/scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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/scope_exists_01.pfc.pl',1632225670.4754667),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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/scope_exists_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('scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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('scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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/scope_exists_01.pfc.pl',(0x561847208a80),[expand(false),expand(true)])),system: $mt_do_load((0x561847208a80),'scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl',user,[expand(false),expand(true)]),_1810,system: $mt_end_load((0x561847208a80))) 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/scope_exists_01.pfc.pl',(0x561847208a80),[expand(false),expand(true)])),$mt_do_load((0x561847208a80),'scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl',user,[expand(false),expand(true)]),$mt_end_load((0x561847208a80)))) [10] $load_file('scope_exists_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',(0x561847209300),[if(not_loaded),must_be_module(true)])),system: $mt_do_load((0x561847209300),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((0x561847209300))) 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',(0x561847209300),[if(not_loaded),must_be_module(true)])),$mt_do_load((0x561847209300),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((0x561847209300)))) 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/scope_exists_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/scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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/scope_exists_01.pfc.pl',1632225670.4754667),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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/scope_exists_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('scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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('scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_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/scope_exists_01.pfc.pl',(0x561847208a80),[expand(false),expand(true)])),system: $mt_do_load((0x561847208a80),'scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl',user,[expand(false),expand(true)]),_1810,system: $mt_end_load((0x561847208a80))) 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/scope_exists_01.pfc.pl',(0x561847208a80),[expand(false),expand(true)])),$mt_do_load((0x561847208a80),'scope_exists_01.pfc.pl','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl',user,[expand(false),expand(true)]),$mt_end_load((0x561847208a80)))) ERROR: [10] $load_file('scope_exists_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. %~ 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) :- module(t123). /*~ ~*/ :- dynamic(t123:ttExpressionType/1). % :- process_this_script. /*~ ~*/ % :- process_this_script. :- statistics. /*~ % Started at Mon Sep 27 03:39:05 2021 % 1.665 seconds cpu time for 6,676,700 inferences % 942,571 atoms, 32,373 functors, 31,585 predicates, 751 modules, 15,991,862 VM-codes % % Limit Allocated In use % Local stack: - 116 Kb 3,920 b % Global stack: - 512 Kb 148 Kb % Trail stack: - 258 Kb 488 b % Total: 1,024 Mb 886 Kb 152 Kb % % 27 garbage collections gained 10,397,824 bytes in 0.005 seconds. % 13 atom garbage collections gained 4,287 atoms in 0.210 seconds. % 17 clause garbage collections gained 3,833 clauses in 0.001 seconds. % Stack shifts: 2 local, 3 global, 3 trail in 0.001 seconds % 3 threads, 0 finished threads used 0.000 seconds ~*/ :- test_boxlog(all(R,exists(D,implies(room(R), and(door(D), has(R, D)))))). /*~ %~ ?-( mpred_test( "Test_0001_Line_0000__room_1_in_t123", %~ t123 : test_boxlog( all(R,exists(D,implies(room(R),and(door(D),has(R,D)))))))). %~ make_dynamic_here( t123, %~ '$nt'( %~ wid( rule1 : 0, %~ rule, %~ all( Room_Exists_Has, %~ exists( Has_Door_Implies, %~ implies( room(Room_Exists_Has), %~ and(door(Has_Door_Implies),has(Room_Exists_Has,Has_Door_Implies)))))), Wid,Nt)) %~ kifi = all(R,exists(D,room(R)=>and(door(D),has(R,D)))). %~ kifm = all( R, %~ exists(D,nesc(room(R)=>(door(D)&has(R,D))))). %~ kif_to_boxlog_attvars2 = forall('$VAR'('R'),exists('$VAR'('D'),necessary(=>(room('$VAR'('R')),and(door('$VAR'('D')),has('$VAR'('R'),'$VAR'('D'))))))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?R has ?D " is necessarily true and %~ " ?D isa door " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(has(R,D))&poss(~door(D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is possibly false ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?R has ?D " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( door(D))) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> poss( ~( has(R,D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is necessarily true ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?D isa door " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( has(R,D)) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> nesc( door(D))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?D isa door " is necessarily true and %~ " ?R has ?D " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(door(D))&poss(~has(R,D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is possibly false ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?D isa door " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( has(R,D))) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> poss( ~( door(D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is necessarily true ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?R has ?D " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( door(D)) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> nesc( has(R,D))). %~ kifi = all(R,exists(D,room(R)=>and(door(D),has(R,D)))). %~ kifm = all( R, %~ exists(D,nesc(room(R)=>(door(D)&has(R,D))))). passed=info(why_was_true(t123:test_boxlog(all(_516,exists(_518,implies(room(_516),and(door(_518),has(_516,_518)))))))) no_proof_for(test_boxlog(all(R,exists(D,implies(room(R),and(door(D),has(R,D))))))). %~ kifi=all(R,exists(D,room(R)=>and(door(D),has(R,D)))) %~ kifm=all(R,exists(D,nesc(room(R)=>(door(D)&has(R,D))))) %~ kif_to_boxlog_attvars2 = forall('$VAR'('R'),exists('$VAR'('D'),necessary(=>(room('$VAR'('R')),and(door('$VAR'('D')),has('$VAR'('R'),'$VAR'('D'))))))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?R has ?D " is necessarily true and %~ " ?D isa door " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(has(R,D))&poss(~door(D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is possibly false ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?R has ?D " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( door(D))) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> poss( ~( has(R,D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is necessarily true ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?D isa door " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( has(R,D)) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> nesc( door(D))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?D isa door " is necessarily true and %~ " ?R has ?D " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(door(D))&poss(~has(R,D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is possibly false ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?D isa door " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( has(R,D))) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> poss( ~( door(D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is necessarily true ) and %~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))) %~ It's Proof that: %~ " ?R has ?D " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( door(D)) & '$existential'( D, 1, nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==> nesc( has(R,D))). no_proof_for(test_boxlog(all(R,exists(D,implies(room(R),and(door(D),has(R,D))))))). no_proof_for(test_boxlog(all(R,exists(D,implies(room(R),and(door(D),has(R,D))))))). name='logicmoo.base.examples.fol.SCOPE_EXISTS_01-Test_0001_Line_0000__room_1_in_t123'. JUNIT_CLASSNAME='logicmoo.base.examples.fol.SCOPE_EXISTS_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'scope_exists_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_SCOPE_EXISTS_01_Test_0001_Line_0000_room_1_in_t123-junit.xml ~*/ :- test_boxlog(all(R,implies(room(R),exists(D,and(door(D), has(R, D)))))). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/scope_exists_01.pfc.pl:17 %~ ?-( mpred_test( "Test_0002_Line_0000__room_1_in_t123", %~ t123 : test_boxlog( all(R,implies(room(R),exists(D,and(door(D),has(R,D)))))))). %~ kifi = all(R,room(R)=>exists(D,and(door(D),has(R,D)))). %~ kifm = all( R, %~ nesc( room(R)=>exists(D,door(D)&has(R,D)))). %~ kif_to_boxlog_attvars2 = forall('$VAR'('R'),necessary(=>(room('$VAR'('R')),exists('$VAR'('D'),and(door('$VAR'('D')),has('$VAR'('R'),'$VAR'('D'))))))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?R has ?D " is necessarily true and %~ " ?D isa door " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(has(R,D))&poss(~door(D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is possibly false ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?R has ?D " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( door(D))) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> poss( ~( has(R,D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is necessarily true ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?D isa door " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( has(R,D)) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> nesc( door(D))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?D isa door " is necessarily true and %~ " ?R has ?D " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(door(D))&poss(~has(R,D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is possibly false ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?D isa door " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( has(R,D))) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> poss( ~( door(D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is necessarily true ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?R has ?D " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( door(D)) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> nesc( has(R,D))). %~ kifi = all(R,room(R)=>exists(D,and(door(D),has(R,D)))). %~ kifm = all( R, %~ nesc( room(R)=>exists(D,door(D)&has(R,D)))). passed=info(why_was_true(t123:test_boxlog(all(_522,implies(room(_522),exists(_524,and(door(_524),has(_522,_524)))))))) no_proof_for(test_boxlog(all(R,implies(room(R),exists(D,and(door(D),has(R,D))))))). %~ kifi=all(R,room(R)=>exists(D,and(door(D),has(R,D)))) %~ kifm=all(R,nesc(room(R)=>exists(D,door(D)&has(R,D)))) %~ kif_to_boxlog_attvars2 = forall('$VAR'('R'),necessary(=>(room('$VAR'('R')),exists('$VAR'('D'),and(door('$VAR'('D')),has('$VAR'('R'),'$VAR'('D'))))))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?R has ?D " is necessarily true and %~ " ?D isa door " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(has(R,D))&poss(~door(D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is possibly false ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?R has ?D " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( door(D))) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> poss( ~( has(R,D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is necessarily true ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?D isa door " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( has(R,D)) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> nesc( door(D))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?D isa door " is necessarily true and %~ " ?R has ?D " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(door(D))&poss(~has(R,D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is possibly false ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?D isa door " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( has( goal=t123:test_boxlog(all(_683348,implies(room(_683348),exists(_683364,and(door(_683364),has(_683348,_683364)))))). time=0.15655159950256348. passed=passed=info(why_was_true(t123:test_boxlog(all(_522,implies(room(_522),exists(_524,and(door(_524),has(_522,_524)))))))) no_proof_for(test_boxlog(all(R,implies(room(R),exists(D,and(door(D),has(R,D))))))). %~ kifi=all(R,room(R)=>exists(D,and(door(D),has(R,D)))) %~ kifm=all(R,nesc(room(R)=>exists(D,door(D)&has(R,D)))) %~ kif_to_boxlog_attvars2 = forall('$VAR'('R'),necessary(=>(room('$VAR'('R')),exists('$VAR'('D'),and(door('$VAR'('D')),has('$VAR'('R'),'$VAR'('D'))))))) %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?R has ?D " is necessarily true and %~ " ?D isa door " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(has(R,D))&poss(~door(D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is possibly false ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?R has ?D " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( door(D))) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> poss( ~( has(R,D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is necessarily true ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?D isa door " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( has(R,D)) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> nesc( door(D))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ " ?D isa door " is necessarily true and %~ " ?R has ?D " is possibly false %~ It's Proof that: %~ " ?R isa room " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nesc(door(D))&poss(~has(R,D))==>poss(~room(R)). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?R has ?D " is possibly false ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?D isa door " is possibly false %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & poss( ~( has(R,D))) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> poss( ~( door(D)))). % AND %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %~ Whenever: %~ (" ?R isa room " is necessarily true and %~ " ?D isa door " is necessarily true ) and %~ by default ?D nesc(door(D))&nesc(has(R,D)) %~ It's Proof that: %~ " ?R has ?D " is necessarily true %~ %~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ( ( nesc( room(R)) & nesc( door(D)) & '$existential'(D,1,nesc(door(D))&nesc(has(R,D)))) ==> nesc( has(R,D))). no_proof_for(test_boxlog(all(R,implies(room(R),exists(D,and(door(D),has(R,D))))))). no_proof_for(test_boxlog(all(R,implies(room(R),exists(D,and(door(D),has(R,D))))))). result=passed. ]]>