M==red_test01)))). % :- set_prolog_flag(umt_local,true). % :- set_prolog_flag(umt_local,false). % :- ensure_loaded(library(logicmoo/mpred/mpred_core)). % :- include(library(logicmoo_test_header)). %:- include(library(logicmoo_test_header)). % :- include(library(logicmoo_test_header)). % :- rtrace(mpred_reset). /*~ ~*/ % :- (( must((defaultAssertMt(M)->M==red_test01)))). % :- set_prolog_flag(umt_local,true). % :- set_prolog_flag(umt_local,false). % :- ensure_loaded(library(logicmoo/mpred/mpred_core)). % :- include(library(logicmoo_test_header)). %:- include(library(logicmoo_test_header)). % :- include(library(logicmoo_test_header)). % :- rtrace(mpred_reset). :- defaultAssertMt(M),dynamic((M:current_ooQ2/1,M:default_ooQ2/1,M:if_mooQ2/2)). /*~ ~*/ :- mpred_trace. /*~ ~*/ :- mpred_watch. %:- mpred_reset. /*~ ~*/ %:- mpred_reset. :- mpred_ain(default_ooQ2(booQ2)). /*~ ~*/ :- must(call_u(default_ooQ2(booQ2))). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:32 %~ ?-( mpred_test("Test_0001_Line_0000__BooQ2_in_user",user:call_u(default_ooQ2(booQ2)))). passed=info(why_was_true(user:call_u(default_ooQ2(booQ2)))) no_proof_for(call_u(default_ooQ2(booQ2))). no_proof_for(call_u(default_ooQ2(booQ2))). no_proof_for(call_u(default_ooQ2(booQ2))). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03-Test_0001_Line_0000__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_03.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_03_Test_0001_Line_0000_BooQ2_in_user-junit.xml ~*/ :- mpred_why(default_ooQ2(booQ2)). /*~ %~ ?-( mpred_test("Test_0002_Line_0000__BooQ2_in_user",user:default_ooQ2(booQ2))). passed=info(why_was_true(user:default_ooQ2(booQ2))) no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03-Test_0002_Line_0000__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_03.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_03_Test_0002_Line_0000_BooQ2_in_user-junit.xml ~*/ :- mpred_test(default_ooQ2(booQ2)). /*~ %~ ?-( mpred_test("Test_0003_Line_0000__BooQ2_in_user",user:default_ooQ2(booQ2))). passed=info(why_was_true(user:default_ooQ2(booQ2))) no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03-Test_0003_Line_0000__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_03.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_03_Test_0003_Line_0000_BooQ2_in_user-junit.xml ~*/ :- mpred_ain(\+default_ooQ2(booQ2)). % this should have been ok % (if_mooQ2(Missing,Create) ==> ((\+ Missing/(Missing\==Create), \+ Create , \+ ~(Create)) ==> Create)). /*~ %~ debugm( baseKB, %~ show_success( baseKB, %~ baseKB : mpred_withdraw( default_ooQ2(booQ2), %~ ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl ',38) , %~ ax)))) ~*/ % this should have been ok % (if_mooQ2(Missing,Create) ==> ((\+ Missing/(Missing\==Create), \+ Create , \+ ~(Create)) ==> Create)). :- ((mpred_ain((if_mooQ2(Missing,Create) ==> ( ( \+ Missing/(Missing\=@=Create)) ==> Create))))). /*~ ~*/ :- mpred_ain((default_ooQ2(X) ==> if_mooQ2(current_ooQ2(_),current_ooQ2(X)))). /*~ ~*/ :- mpred_ain(default_ooQ2(booQ2)). /*~ ~*/ :- mpred_test(current_ooQ2(booQ2)). % :- pp_DB. /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:48 %~ ?-( mpred_test("Test_0004_Line_0000__BooQ2_in_user",user:current_ooQ2(booQ2))). passed=info(why_was_true(user:current_ooQ2(booQ2))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03-Test_0004_Line_0000__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_03.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_03_Test_0004_Line_0000_BooQ2_in_user-junit.xml ~*/ % :- pp_DB. :- (mpred_ain(current_ooQ2(fooQ2))). /*~ ~*/ :- mpred_test(\+current_ooQ2(booQ2)). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:54 %~ ?-( mpred_test("Test_0005_Line_0000__naf_BooQ2_in_user",user:(\+current_ooQ2(booQ2)))). failure=info((why_was_true(user:current_ooQ2(booQ2)),nop(ftrace(user:(\+current_ooQ2(booQ2)))))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03-Test_0005_Line_0000__naf_BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_03.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_03_Test_0005_Line_0000_naf_BooQ2_in_user-junit.xml ~*/ :- (mpred_ain(\+ current_ooQ2(fooQ2))). /*~ %~ debugm( baseKB, %~ show_success( baseKB, %~ baseKB : mpred_withdraw( current_ooQ2(fooQ2), %~ ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl ',56) , %~ ax)))) ~*/ :- mpred_test(current_ooQ2(booQ2)). /*~ %~ ?-( mpred_test("Test_0006_Line_0000__BooQ2_in_user",user:current_ooQ2(booQ2))). passed=info(why_was_true(user:current_ooQ2(booQ2))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03-Test_0006_Line_0000__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sani goal=user: ~current_ooQ2(fooQ2). time=0.0008368492126464844. failure=failure=info((why_was_true(user:(\+ ~current_ooQ2(fooQ2))),nop(ftrace(user: ~current_ooQ2(fooQ2))))) no_proof_for(\+ ~current_ooQ2(fooQ2)). no_proof_for(\+ ~current_ooQ2(fooQ2)). no_proof_for(\+ ~current_ooQ2(fooQ2)). result=failure. ]]>