Failed
logicmoo.pfc.test.sanity_base.UNDO_01A.logicmoo.pfc.test.sanity_base.UNDO_01A@Test_0003_Line_0000__sum_4_in_user: user:sum(4) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.UNDO_01A)
Error Message
failure = "failure=info((why_was_true(user:(\\+sum(4))),nop(ftrace(user:sum(4)))))\nno_proof_for(\\+sum(4)).\n\nno_proof_for(\\+sum(4)).\n\nno_proof_for(\\+sum(4)).\n\n". failure = [].
Standard Error
name=Test_0003_Line_0000__sum_4_in_user JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.UNDO_01A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'undo_01a.pfc\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['undo_01a.pfc']") ``` %~ init_phase(after_load) %~ init_phase(restore_state) % %~ init_why(after_boot,program) %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. running('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/undo_01a.pfc'), %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) %~ message_hook( %~ error( permission_error(redefine,module,logicmoo_test), %~ context(module/2,'Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl')), %~ error, %~ [ '~q/~w: '-[module,2], %~ 'No permission to ~w ~w `~p\''-[redefine,module,logicmoo_test], %~ ' (~w)'-['Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl']]) %~ source_location('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl',98) module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl) ERROR: /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:98: ERROR: module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl) % this Pfc example shows how to maintain a sum. % Given a set of asssertions matching value(N), this rule % will maintain an assertion sum(S) where S is the sum of all of the values. :- dynamic(sum/1). % RULES /*~ ~*/ % RULES value(X) ==> {addToSum(X)}. /*~ ~*/ do_and_undo(addToSum(X), subFromSum(X)). /*~ ~*/ addToSum(X) :- retract(sum(S)), !, NewS is X+S, assert(sum(NewS)). /*~ ~*/ addToSum(X) :- assert(sum(X)). /*~ ~*/ subFromSum(X) :- retract(sum(S)), NewS is S-X, assert(sum(NewS)), !. /*~ ~*/ subFromSum(X) :- format('~n I can''t find a sum to subtract ~w from.',[X]). % FACTS /*~ ~*/ % FACTS value(1). /*~ %~ debugm(pfc_lib,show_success(pfc_lib,pfc_lib:action_is_undoable(addToSum(1)))) ~*/ value(2). /*~ %~ debugm(pfc_lib,show_success(pfc_lib,pfc_lib:action_is_undoable(addToSum(2)))) ~*/ value(3). % TEST RESULTS /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/undo_01a.pfc:40 %~ debugm(pfc_lib,show_success(pfc_lib,pfc_lib:action_is_undoable(addToSum(3)))) ~*/ % TEST RESULTS :- mpred_test(sum(6)). % TEST REMOVAL HIT /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/undo_01a.pfc:43 %~ ?-( mpred_test("Test_0001_Line_0000__sum_6_in_user",user:sum(6))). passed=info(why_was_true(user:sum(6))) no_proof_for(sum(6)). no_proof_for(sum(6)). no_proof_for(sum(6)). name='logicmoo.pfc.test.sanity_base.UNDO_01A-Test_0001_Line_0000__sum_6_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.UNDO_01A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'undo_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_UNDO_01A_Test_0001_Line_0000_sum_6_in_user-junit.xml ~*/ % TEST REMOVAL HIT \+ value(2). /*~ %~ debugm( baseKB, %~ show_success( baseKB, %~ baseKB : mpred_withdraw( value(2), %~ ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/undo_01a.pfc ',46) , %~ ax)))) ~*/ :- mpred_test(sum(4)). % TEST REMOVAL MISS /*~ %~ ?-( mpred_test("Test_0002_Line_0000__sum_4_in_user",user:sum(4))). failure=info((why_was_true(user:(\+sum(4))),nop(ftrace(user:sum(4))))) no_proof_for(\+sum(4)). no_proof_for(\+sum(4)). no_proof_for(\+sum(4)). name='logicmoo.pfc.test.sanity_base.UNDO_01A-Test_0002_Line_0000__sum_4_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.UNDO_01A'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s goal=user:sum(4). time=0.0005288124084472656. failure=failure=info((why_was_true(user:(\+sum(4))),nop(ftrace(user:sum(4))))) no_proof_for(\+sum(4)). no_proof_for(\+sum(4)). no_proof_for(\+sum(4)). result=failure.