{kb_local(COL/2)},% functorDeclares(COL), (t(COL,ext,X)instanceOf(X,COL))). /*~ ~*/ tType(tFly). /*~ ~*/ tType(tCanary). /*~ ~*/ tType(tPenguin). /*~ ~*/ tType(tBird). /*~ ~*/ :- mpred_test(predicate_property(tBird(ext,_),dynamic)). /*~ %~ ?-( mpred_test("Test_0001_Line_0000__Ext_in_user",user:predicate_property(tBird(ext,Bird_Ext),dynamic))). passed=info(why_was_true(user:predicate_property(tBird(ext,_444),dynamic))) no_proof_for(predicate_property(tBird(ext,Bird_Ext2),dynamic)). no_proof_for(predicate_property(tBird(ext,Bird_Ext2),dynamic)). no_proof_for(predicate_property(tBird(ext,Bird_Ext2),dynamic)). name='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B-Test_0001_Line_0000__Ext_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'never_retract_01b.pfc\']"'. % 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_NEVER_RETRACT_01B_Test_0001_Line_0000_Ext_in_user-junit.xml ~*/ subClassOf(C1,C2)==> (instanceOf(X,C1)==>instanceOf(X,C2)). /*~ ~*/ subClassOf(tCanary,tBird). /*~ ~*/ subClassOf(tPenguin,tBird). /*~ ~*/ :- dmsg("chilly is a penguin."). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/never_retract_01b.pfc:48 %~ chilly is a penguin. ~*/ tPenguin(ext,iChilly). /*~ ~*/ :- mpred_test((tBird(ext,iChilly))). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/never_retract_01b.pfc:51 %~ ?-( mpred_test("Test_0002_Line_0000__Ext_in_user",user:tBird(ext,iChilly))). passed=info(why_was_true(user:tBird(ext,iChilly))) no_proof_for(tBird(ext,iChilly)). no_proof_for(tBird(ext,iChilly)). no_proof_for(tBird(ext,iChilly)). name='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B-Test_0002_Line_0000__Ext_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'never_retract_01b.pfc\']"'. % 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_NEVER_RETRACT_01B_Test_0002_Line_0000_Ext_in_user-junit.xml ~*/ :- dmsg("tweety is a canary."). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/never_retract_01b.pfc:54 %~ tweety is a canary. ~*/ tCanary(ext,iTweety). /*~ ~*/ :- mpred_test((tBird(ext,iTweety))). /*~ %~ ?-( mpred_test("Test_0003_Line_0000__Ext_in_user",user:tBird(ext,iTweety))). passed=info(why_was_true(user:tBird(ext,iTweety))) no_proof_for(tBird(ext,iTweety)). no_proof_for(tBird(ext,iTweety)). no_proof_for(tBird(ext,iTweety)). name='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B-Test_0003_Line_0000__Ext_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'never_retract_01b.pfc\']"'. % 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_NEVER_RETRACT_01B_Test_0003_Line_0000_Ext_in_user-junit.xml ~*/ :- dmsg("birds fly by default."). /*~ %~ birds fly by default. ~*/ mdefault(( tBird(ext,X) ==> tFly(ext,X) )). /*~ ~*/ :- mpred_test((tBird(ext,iTweety))). /*~ %~ ?-( mpred_test("Test_0004_Line_0000__Ext_in_user",user:tBird(ext,iTweety))). passed=info(why_was_true(user:tBird(ext,iTweety))) no_proof_for(tBird(ext,iTweety)). no_proof_for(tBird(ext,iTweety)). no_proof_for(tBird(ext,iTweety)). name='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B-Test_0004_Line_0000__Ext_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'never_retract_01b.pfc\']"'. % 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_NEVER_RETRACT_01B_Test_0004_Line_0000_Ext_in_user-junit.xml ~*/ :- mpred_test((tFly(ext,iTweety))). /*~ %~ ?-( mpred_test("Test_0005_Line_0000__Ext_in_user",user:tFly(ext,iTweety))). failure=info((why_was_true(user:(\+tFly(ext,iTweety))),nop(ftrace(user:tFly(ext,iTweety))))) no_proof_for(\+tFly(ext,iTweety)). no_proof_for(\+tFly(ext,iTweety)). no_proof_for(\+tFly(ext,iTweety)). name='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B-Test_0005_Line_0000__Ext_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'never_retract_01b.pfc\']"'. % 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_NEVER_RETRACT_01B_Test_0005_Line_0000_Ext_in_user-junit.xml ~*/ :- dmsg("make sure chilly can fly"). /*~ %~ make sure chilly can fly ~*/ :- mpred_test((instanceOf(I,tFly),I=iChilly)). /*~ %~ ?-( mpred_test("Test_0006_Line_0000__TFly_in_user",user:(instanceOf(I,tFly),I=iChilly))). failure=info((why_was_true(user:(\+ (instanceOf(_102410,tFly),_102410=iChilly))),nop(ftrace(user:(instanceOf(_102410,tFly),_102410=iChilly))))) no_proof_for(\+ (instanceOf(Chilly_Fly,tFly),Chilly_Fly=iChilly)). no_proof_for(\+ (instanceOf(Chilly_Fly,tFly),Chilly_Fly=iChilly)). no_proof_for(\+ (instanceOf(Chilly_Fly,tFly),Chilly_Fly=iChilly)). name='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B-Test_0006_Line_0000__TFly_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.NEVER_RETRACT_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'never_retract_01b.pfc\']"'. % 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 goal=user:tFly(ext,iTweety). time=0.0005030632019042969. failure=failure=info((why_was_true(user:(\+tFly(ext,iTweety))),nop(ftrace(user:tFly(ext,iTweety))))) no_proof_for(\+tFly(ext,iTweety)). no_proof_for(\+tFly(ext,iTweety)). no_proof_for(\+tFly(ext,iTweety)). result=failure. ]]>