((t(P,X,Y),t(P,Y,Z)/(dif(X,Y),dif(Y,Z),dif(X,Z)))==> t(P, X, Z)). /*~ ~*/ taxinomicPair(E,P) ==> (t(P,X,Y),t(E,Y,Z) ==> t(P, X, Z)). /*~ ~*/ subRelation(E,P) ==> ((t(E,X,Y)/(dif(X,Y))) ==> t(P,X,Y)). /*~ ~*/ edge(1,2). /*~ ~*/ edge(2,3). /*~ ~*/ edge(3,4). /*~ ~*/ subRelation(edge,hop). /*~ ~*/ subRelation(hop,path). /*~ ~*/ symmetric(hop). /*~ ~*/ symmetric(P) ==> (t(P,X,Y) ==> t(P,Y,X)). /*~ ~*/ antisymmetric(P)/fail ==> (t(P,X,Y) ~t(P,Y,X)). /*~ ~*/ reflexive(P) ==> t(P,X,X). /*~ ~*/ antireflexive(P) ==> ~t(P,X,X). /*~ ~*/ :- cls. % things that cannot be true are removed % unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X). /*~ %~ skipped(messy_on_output,cls) ~*/ % 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))). failure=info((why_was_true(user:(\+ (edge(_4066,_4088)==>hop(_4066,_4088)))),nop(ftrace(user:(edge(_4066,_4088)==>hop(_4066,_4088)))))) 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.TML_01E-Test_0001_Line_0000__edge_2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01E'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01e.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--Uni goal=user: ~path(_35676,_35676). time=0.0005290508270263672. failure=failure=info((why_was_true(user:(\+ ~path(_10794,_10794))),nop(ftrace(user: ~path(_10794,_10794))))) no_proof_for(\+ ~path(X,X)). no_proof_for(\+ ~path(X,X)). no_proof_for(\+ ~path(X,X)). result=failure. ]]>