{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.BIRDS_01B-Test_0001_Line_0000__Ext_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.BIRDS_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'birds_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_BIRDS_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/birds_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/birds_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.BIRDS_01B-Test_0002_Line_0000__Ext_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.BIRDS_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'birds_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_BIRDS_01B_Test_0002_Line_0000_Ext_in_user-junit.xml ~*/ :- dmsg("tweety is a canary."). /*~ %~ tweety is a canary. ~*/ tCanary(ext,iTweety). goal=user:tBird(ext,iTweety). time=0.0003609657287597656. passed=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)). result=passed. ]]>