(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)). /*~ %~ ?-( 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_01A-Test_0001_Line_0000__edge_2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.GSHAPE_01A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_01a.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_01A_Test_0001_Line_0000_edge_2_in_user-junit.xml ~*/ :- with_vars_locked([X,Y],mpred_why(edge(X,Y)==>hop(X,Y))). % bug .. giving the wrong proof! /*~ 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))). ~*/ % bug .. giving the wrong proof! :- with_vars_locked([X,Y],mpred_why(edge(X,Y)==>hop(Y,X))). % bug .. not giving any proof! /*~ no_proof_for((edge(X,Y)==>hop(Y,X))). no_proof_for((edge(X,Y)==>hop(Y,X))). ~*/ % bug .. not giving any proof! :- dif(X,Y), mpred_why(edge(X,Y)==>hop(Y,X)). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/gshape_01a.pfc % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/GSHAPE_01A/logicmoo_pfc_test_sanity_base_GSHAPE_01A_JUnit/ % ISSUE_SEARCH: https://github.com/logicmoo/lo goal=user:(edge(_5290,_5292)==>hop(_5292,_5290)). time=0.0004992485046386719. failure=failure=info((why_was_true(user:(\+ (edge(_34678,_34710)==>hop(_34710,_34678)))),nop(ftrace(user:(edge(_34678,_34710)==>hop(_34710,_34678)))))) 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. ]]>