logicmoo.pfc.test.sanity_base.VERBATUMS_03 JUnit

[TeamSPoon]

(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base ; swipl -x /var/lib/jenkins/workspace/logicmoo_workspace@2/bin/lmoo-clif verbatums_03.pfc)

ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/492
EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/verbatums_03.pfc
JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/VERBATUMS_03/logicmoo_pfc_test_sanity_base_VERBATUMS_03_JUnit/
ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AVERBATUMS_03

%~ init_phase(after_load)
%~ init_phase(restore_state)
%
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/verbatums_03.pfc'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))


:- dynamic(total_income/3).

% RULES


% RULES
income(Person,_Source,Year,Dollars) ==> {increment_income(Person,Year,Dollars)}.



==> do_and_undo(increment_income(P,Y,D),decrement_income(P,Y,D)).



increment_income(P,Y,D) :-
  (retract(total_income(P,Y,Old)) -> New is Old+D ; New = D),
  assert(total_income(P,Y,New)).



decrement_income(P,Y,D) :-
  retract(total_income(P,Y,Old)),
  New is Old-D,
  assert(total_income(P,Y,New)).

% FACTS


% FACTS
income(person,sourceOne,2035,6666).

income(person,sourceTwo,2035,1111).

income(person,sourceTwo,2036,2222).


% RESULTS PT 1



% RESULTS PT 1
:- listing(total_income/3).
%~ skipped( listing( total_income/3))

/*

total_income(person, 2035, 7777).
total_income(person, 2036, 2222).

*/


% UPDATE Remove some income
\+ income(person,_,2035,1111).


% RESULTS PT 2
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : mpred_withdraw( income(person,sourceTwo,2035,1111),
%~                ( mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master@2/packs_sys/pfc/t/sanity_base/verbatums_03.pfc ',50) ,
%~                  ax))))



% RESULTS PT 2
:- listing(total_income/3).
%~ skipped( listing( total_income/3))
%~ unused(no_junit_results)

%~ test_completed_exit(0)

totalTime=1.000

FAILED: /var/lib/jenkins/workspace/logicmoo_workspace@2/bin/lmoo-junit-minor -k verbatums_03.pfc (returned 0) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped,Skipped'