(t(E,X,Y) ==> t(P,X,Y)). /*~ ~*/ subRelationD(E,P) ==> ((t(E,X,Y)/(dif(X,Y))) ==> t(P,X,Y)). /*~ ~*/ symmetric(P) ==> (t(P,X,Y) ==> t(P,Y,X)). /*~ %~ warn( really_remake_as_dynamic( %~ clpfd : symmetric(Symmetric), %~ for(baseKB,decl_kb_type(kb_shared,baseKB:symmetric/1)))) %~ warn( really_remake_as_dynamic2(clpfd:symmetric(Symmetric),bc(decl_kb_type(kb_shared,baseKB:symmetric/1)))) ~*/ subRelation(edge,hop). /*~ ~*/ symmetric(hop). % things that cannot be true are removed % unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X). /*~ ~*/ % things that cannot be true are removed % unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X). :- mpred_why(edge(X,Y)==>hop(X,Y)). % bug .. giving the wrong proof! /*~ %~ ?-( mpred_test( "Test_0001_Line_0000__edge_2_in_user", %~ user : edge(X,Y)==>hop(X,Y))). passed=info(why_was_true(user:(edge(_33146,_33168)==>hop(_33146,_33168)))) no_proof_for((edge(X,Y)==>hop(X,Y))). no_proof_for((edge(X,Y)==>hop(X,Y))). no_proof_for((edge(X,Y)==>hop(X,Y))). name='logicmoo.pfc.test.sanity_base.GSHAPE_01B-Test_0001_Line_0000__edge_2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.GSHAPE_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_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_GSHAPE_01B_Test_0001_Line_0000_edge_2_in_user-junit.xml ~*/ % bug .. giving the wrong proof! :- mpred_why(edge(X,Y)==>hop(Y,X)). % bug .. not giving any proof! /*~ %~ ?-( mpred_test( "Test_0002_Line_0000__edge_2_in_user", %~ user : edge(X,Y)==>hop(Y,X))). passed=info(why_was_true(user:(edge(_21462,_21462)==>hop(_21462,_21462)))) no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). name='logicmoo.pfc.test.sanity_base.GSHAPE_01B-Test_0002_Line_0000__edge_2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.GSHAPE_01B'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_01b.pfc\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-log goal=user:(edge(_44572,_44574)==>hop(_44574,_44572)). time=0.0005095005035400391. failure=failure=info((why_was_true(user:(\+ (edge(_14054,_14086)==>hop(_14086,_14054)))),nop(ftrace(user:(edge(_14054,_14086)==>hop(_14086,_14054)))))) no_proof_for(\+ (edge(X,Y)==>hop(Y,X))). no_proof_for(\+ (edge(X,Y)==>hop(Y,X))). no_proof_for(\+ (edge(X,Y)==>hop(Y,X))). result=failure. ]]>