(~( ~P) ==> P). /*~ ~*/ (default_01a((P ==> Q))/mpred_literal(Q)) ==> (P, \+( ~Q) ==> Q). %:- set_prolog_flag(gc,false). % % birds fly by default_01a. /*~ ~*/ %:- set_prolog_flag(gc,false). % % birds fly by default_01a. ==> default_01a((bird(X) ==> fly(X))). % here''s one way to do an type of hierarchy. % zisa = subclass. /*~ ~*/ % here''s one way to do an type of hierarchy. % zisa = subclass. zisa(C1,C2) ==> {P1 =.. [C1,X], P2 =.. [C2,X]}, (P1 ==> P2). /*~ ~*/ ==> zisa(canary,bird). /*~ ~*/ ==> zisa(penguin,bird). % penguins do not fly. /*~ ~*/ % penguins do not fly. penguin(X) ==> ( ~fly(X)). /*~ ~*/ :- mpred_trace_exec. % chilly is a penguin. /*~ ~*/ % chilly is a penguin. ==> penguin(chilly). % tweety is a canary. /*~ ~*/ % tweety is a canary. ==> canary(tweety). /*~ ~*/ :- mpred_test(penguin(chilly)). /*~ %~ ?-( mpred_test("Test_0001_Line_0000__Chilly_in_user",user:penguin(chilly))). passed=info(why_was_true(user:penguin(chilly))) no_proof_for(penguin(chilly)). no_proof_for(penguin(chilly)). no_proof_for(penguin(chilly)). name='logicmoo.pfc.test.sanity_base.BIRDS_01A-Test_0001_Line_0000__Chilly_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.BIRDS_01A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'birds_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_BIRDS_01A_Test_0001_Line_0000_Chilly_in_user-junit.xml ~*/ :- mpred_test(~fly(chilly)). /*~ %~ ?-( mpred_test("Test_0002_Line_0000__Chilly_in_user",user: ~fly(chilly))). failure=info((why_was_true(user:(\+ ~fly(chilly))),nop(ftrace(user: ~fly(chilly))))) no_proof_for(\+ ~fly(chilly)). no_proof_for(\+ ~fly(chilly)). no_proof_for(\+ ~fly(chilly)). name='logicmoo.pfc.test.sanity_base.BIRDS_01A-Test_0002_Line_0000__Chilly_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.BIRDS_01A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'birds_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 goal=user:fly(tweety). time=0.0004630088806152344. passed=passed=info(why_was_true(user:fly(tweety))) no_proof_for(fly(tweety)). no_proof_for(fly(tweety)). no_proof_for(fly(tweety)). result=passed. ]]>