logicmoo.ec.ec_planner.ectest.SANITY_EQUALS_02 JUnit

[TeamSPoon]

(cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/test/ec_planner/ectest ; timeout --foreground --preserve-status -s SIGKILL -k 1m 1m swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['sanity_equals_02.pel']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.pel
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.ec.ec_planner.ectest/SANITY_EQUALS_02/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_EQUALS_02
% ISSUE: #695

%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
 %  call_pel_directive( translate(unskipped,'/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.pel')).
running('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.pel'),
%~ this_test_might_need( :-( expects_dialect(pfc)))
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/prolog/ec_planner/ec_test_incl.pl:17 
%~ message_hook_type(error)
%~ message_hook(
%~    error(
%~       permission_error(import_into(baseKB),procedure,ec_loader:export_transparent/1),
%~       context(import/1,already_from(logicmoo_planner))),
%~    error,
%~    [ '~q/~w: '-[import,1],
%~      'No permission to import ~p into ~w' - [ ec_loader : export_transparent/1,
%~                                               baseKB],
%~      ' (already imported from ~q)'-[logicmoo_planner]])
%~ source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/prolog/ec_planner/ec_test_incl.pl',17)
import/1: No permission to import ec_loader:(export_transparent/1) into baseKB (already imported from logicmoo_planner)
ERROR: /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/prolog/ec_planner/ec_test_incl.pl:17:
ERROR:    import/1: No permission to import ec_loader:(export_transparent/1) into baseKB (already imported from logicmoo_planner)

:-expects_dialect(ecalc).
/*~
~*/

:- call_pel_directive(translate(begining,
                                '/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.pel')).

/*~
 %  call_pel_directive( translate(begining,'/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.pel')).
~*/


:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.e',2).
% predicate Neighbor(position,position)
/*~
~*/

% predicate Neighbor(position,position)
predicate(neighbor(position,position)).


/*~
No source location!?
~*/



:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.e',4).
% [position1,position2]
% Neighbor(position1,position2) ->
% ((position1=1 & position2=2) |
%  (position1=1 & position2=3) |
%  (position1=1 & position2=4) |
%  (position1=2 & position2=3) |
%  (position1=2 & position2=4) |
%  (position1=3 & position2=4) |
%  (position1=5 & position2=6) |
%  (position1=5 & position2=7) |
%  (position1=5 & position2=8) |
%  (position1=6 & position2=7) |
%  (position1=6 & position2=8) |
%  (position1=7 & position2=8) |
%  (position2=1 & position1=2) |
%  (position2=1 & position1=3) |
%  (position2=1 & position1=4) |
%  (position2=2 & position1=3) |
%  (position2=2 & position1=4) |
%  (position2=3 & position1=4) |
%  (position2=5 & position1=6) |
%  (position2=5 & position1=7) |
%  (position2=5 & position1=8) |
%  (position2=6 & position1=7) |
%  (position2=6 & position1=8) |
%  (position2=7 & position1=8) |
%  (position1=4 & position2=7) |
%  (position2=4 & position1=7)).
/*~
~*/

% [position1,position2]
% Neighbor(position1,position2) ->
% ((position1=1 & position2=2) |
%  (position1=1 & position2=3) |
%  (position1=1 & position2=4) |
%  (position1=2 & position2=3) |
%  (position1=2 & position2=4) |
%  (position1=3 & position2=4) |
%  (position1=5 & position2=6) |
%  (position1=5 & position2=7) |
%  (position1=5 & position2=8) |
%  (position1=6 & position2=7) |
%  (position1=6 & position2=8) |
%  (position1=7 & position2=8) |
%  (position2=1 & position1=2) |
%  (position2=1 & position1=3) |
%  (position2=1 & position1=4) |
%  (position2=2 & position1=3) |
%  (position2=2 & position1=4) |
%  (position2=3 & position1=4) |
%  (position2=5 & position1=6) |
%  (position2=5 & position1=7) |
%  (position2=5 & position1=8) |
%  (position2=6 & position1=7) |
%  (position2=6 & position1=8) |
%  (position2=7 & position1=8) |
%  (position1=4 & position2=7) |
%  (position2=4 & position1=7)).
:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.e',4).
/*~
~*/

neighbor(Position1, Position2) ->
    (   Position1=1,
        Position2=2
    ;   Position1=1,
        Position2=3
    ;   Position1=1,
        Position2=4
    ;   Position1=2,
        Position2=3
    ;   Position1=2,
        Position2=4
    ;   Position1=3,
        Position2=4
    ;   Position1=5,
        Position2=6
    ;   Position1=5,
        Position2=7
    ;   Position1=5,
        Position2=8
    ;   Position1=6,
        Position2=7
    ;   Position1=6,
        Position2=8
    ;   Position1=7,
        Position2=8
    ;   Position2=1,
        Position1=2
    ;   Position2=1,
        Position1=3
    ;   Position2=1,
        Position1=4
    ;   Position2=2,
        Position1=3
    ;   Position2=2,
        Position1=4
    ;   Position2=3,
        Position1=4
    ;   Position2=5,
        Position1=6
    ;   Position2=5,
        Position1=7
    ;   Position2=5,
        Position1=8
    ;   Position2=6,
        Position1=7
    ;   Position2=6,
        Position1=8
    ;   Position2=7,
        Position1=8
    ;   Position1=4,
        Position2=7
    ;   Position2=4,
        Position1=7
    ).


%; Prolog code starts with ;:-
/*~
%~ message_hook_type(error)
%~ message_hook(
%~    error(permission_error(modify,static_procedure,(->)/2),context(system:'$record_clause'/3,Context_Kw)),
%~    error,
%~    [ 'No permission to ~w static procedure `~p\'' - [ modify,
%~                                                       (->)/2],
%~      nl,
%~      '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',383]])
No permission to modify static procedure `(->/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:383
ERROR: No permission to modify static procedure `(->/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:383
~*/



%; Prolog code starts with ;:-
:- include(sanity_equals_01_extra).

/*~
 %  showing_ec_current_domain_db.
axiom(happens( shift_pack(Got_Robot_Shift_pack,Pack),
  Time_from_Retrieve_pack_Shift_pack1,
  Time_until), 
    
  [ happens( retrieve_pack(Got_Robot_Shift_pack),
      Time_from_Retrieve_pack_Shift_pack1,
      Time_until_Got_B),
    b(Time_until_Got_B,Clipped_Time_from_Deliver_pack),
    happens( deliver_pack(Got_Robot_Shift_pack,Pack),
      Clipped_Time_from_Deliver_pack,
      Time_until),
    not( clipped(Time_until_Got_B,got(robot,Got_Robot_Shift_pack),Clipped_Time_from_Deliver_pack))]).
axiom(initiates( shift_pack(Shift_pack16,In_Pack19),
  in(Shift_pack16,In_Pack19),
  In), 
    
  []).
axiom(happens( retrieve_pack(Up_Pack_Robot_In22),
  When_Time_at_Time_from_Go_to_room_In_Retrieve_pack,
  Clipped_When_Time_until_Put_up), 
    
  [ holds( in(Up_Pack_Robot_In22,Room_In_Robot),
      When_Time_at_Time_from_Go_to_room_In_Retrieve_pack),
    happens(go_to_room(robot,Room_In_Robot),When_Time_at_Time_from_Go_to_room_In_Retrieve_pack),
    happens(put_up(robot,Up_Pack_Robot_In22),Clipped_When_Time_until_Put_up),
    b(When_Time_at_Time_from_Go_to_room_In_Retrieve_pack,Clipped_When_Time_until_Put_up),
    not( clipped( When_Time_at_Time_from_Go_to_room_In_Retrieve_pack,
           in(robot,Room_In_Robot),
           Clipped_When_Time_until_Put_up))]).
axiom(initiates(retrieve_pack(Got_Pack_Robot40),got(robot,Got_Pack_Robot40),Initiates_Got), 
    
  []).
axiom(happens( deliver_pack(Down_Robot_Deliver_pack46,In_Room_Pack_Robot48),
  When_Time_from_In_Go_to_room_Deliver_pack47,
  Clipped_When_Time_until_Put_down), 
    
  [ happens(go_to_room(robot,In_Room_Pack_Robot48),When_Time_from_In_Go_to_room_Deliver_pack47),
    happens(put_down(robot,Down_Robot_Deliver_pack46),Clipped_When_Time_until_Put_down),
    b(When_Time_from_In_Go_to_room_Deliver_pack47,Clipped_When_Time_until_Put_down),
    not( clipped( When_Time_from_In_Go_to_room_Deliver_pack47,
           in(robot,In_Room_Pack_Robot48),
           Clipped_When_Time_until_Put_down))]).
axiom(initiates( deliver_pack(Got_Robot_Deliver_pack64,In_Pack69),
  in(Got_Robot_Deliver_pack64,In_Pack69),
  Time_at_Initiates_Got_In65), 
    
  [ holds(got(robot,Got_Robot_Deliver_pack64),Time_at_Initiates_Got_In65)]).
axiom(initiates( put_up(robot,Got_Up_Robot75),
  got(robot,Got_Up_Robot75),
  Time_at_Initiates_In_Got76), 
    
  [ difstate(f,Got_Up_Robot75,robot),
    holds(in(Got_Up_Robot75,In_Robot78),Time_at_Initiates_In_Got76),
    holds(in(robot,In_Robot78),Time_at_Initiates_In_Got76)]).
axiom(releases( put_up(robot,Up_Robot86),
  in(Up_Robot86,In_Robot88),
  Time_at_Releases_In87), 
    
  [ difstate(f,Up_Robot86,robot),
    holds(in(Up_Robot86,In_Robot88),Time_at_Releases_In87),
    holds(in(robot,In_Robot88),Time_at_Releases_In87)]).
axiom(initiates( put_down(robot,Got_Down_Robot95),
  in(Got_Down_Robot95,In_Robot98),
  Time_at_Initiates_Got_In96), 
    
  [ difstate(f,Got_Down_Robot95,robot),
    holds(got(robot,Got_Down_Robot95),Time_at_Initiates_Got_In96),
    holds(in(robot,In_Robot98),Time_at_Initiates_Got_In96)]).
axiom(terminates( put_down(robot,Got_Down_Robot106),
  got(robot,Got_Down_Robot106),
  Terminates_Got107), 
    
  []).
axiom(initiates(go_to_room(robot,In_Room_Robot112),in(robot,In_Room_Robot112),Initiates_In113), 
    
  []).
axiom(terminates( go_to_room(robot,Room_Robot118),
  in(robot,Difstate_In_Robot119),
  Terminates_In120), 
    
  [ difstate(f,Room_Robot118,Difstate_In_Robot119)]).
axiom(holds(in(Got_Robot_In127,In_Robot131),Time_at_Got_In128), 
    
  [ difstate(f,Got_Robot_In127,robot),
    holds(got(robot,Got_Robot_In127),Time_at_Got_In128),
    holds(in(robot,In_Robot131),Time_at_Got_In128)]).
axiom(initially( in(robot,r(1))), 
    
  []).
axiom(initially( not( in(robot,r(2)))), 
    
  []).
axiom(initially( not( in(robot,r(3)))), 
    
  []).
axiom(initially( in(p(1),r(2))), 
    
  []).
axiom(initially( not( in(p(1),r(1)))), 
    
  []).
axiom(initially( not( in(p(1),r(3)))), 
    
  []).
event( put_up(robot,Up_Robot137)).
mpred_prop(put_up(robot,Up_Robot137),event).
event( put_down(robot,Down_Robot137)).
mpred_prop(put_down(robot,Down_Robot137),event).
event( go_to_room(robot,Room_Robot137)).
mpred_prop(go_to_room(robot,Room_Robot137),event).
predicate(dummy).
mpred_prop(dummy,predicate).
 %  shown_ec_current_domain_db.
:- dynamic axiom/1.

axiom((~fallacy_t(A))=>v(v(unknown_t(A), false_t(A)), true_t(A))).
axiom((~unknown_t(A))=>v(true_t(A), false_t(A))).
axiom((~false_t(A))=>v(v(fallacy_t(A), unknown_t(A)), true_t(A))).
axiom(<gt;=>(answerable_t(A), askable_t(A)& ~unknown_t(A))).
axiom(answerable_t(A)=>v(true_t(A), false_t(A))).
axiom(<gt;=>(askable_t(A), ~fallacy_t(A))).
axiom(askable_t(A)=>v(v(true_t(A), unknown_t(A)), false_t(A))).
axiom(v(askable_t(A), fallacy_t(A))).
axiom(asserted_t(A)=>true_t(A)).
axiom(fallacy_t(A)=>(((false_t(A)&true_t(A))& ~unknown_t(A))& ~possible_t(A))).
axiom((true_t(A)&false_t(A))=>fallacy_t(A)).
axiom(v(v(true_t(A), unknown_t(A)), false_t(A))).
axiom(true_t(A)=>possible_t(A)).
axiom(possible_t(A)=>(~false_t(A)& ~fallacy_t(A))).
axiom((~true_t(A))=>v(v(false_t(A), fallacy_t(A)), possible_t(A))).
axiom(<gt;=>(false_t(A),  (~true_t(A)& ~possible_t(A))& ~unknown_t(A))).
axiom(true_t(A)=>((~false_t(A)&possible_t(A))& ~unknown_t(A))).
axiom((~asserted_t(A))=>v(v(possible_t(A), false_t(A)), fallacy_t(A))).
axiom((~possible_t(A))=>v(false_t(A), fallacy_t(A))).
axiom(unknown_t(A)=>(((~true_t(A)&possible_t(A))& ~asserted_t(A))& ~false_t(A))).

axiom(equals(X, Y), [call(X=Y)]).
axiom(not(equals(X, Y)), [call(X\=Y)]).
axiom(neighbor(1, 2), []).
axiom(neighbor(X, Y), [call(X>Y), neighbor(Y, X)]).

~*/


:- call_pel_directive(translate(ending,
                                '/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.pel')).

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_02.pel 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.ec.ec_planner.ectest/SANITY_EQUALS_02/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_EQUALS_02 
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/ 

/*~
%~ '@TODO '(run_ec_tests)
~*/
%~ unused(no_junit_results)
logicmoo.ec.ec_planner.ectest.SANITY_EQUALS_02 JUnit	error	=	import/1: No permission to import ec_loader:(export_transparent/1) into baseKB (already imported from logicmoo_planner) 
logicmoo.ec.ec_planner.ectest.SANITY_EQUALS_02 JUnit	error	=	No permission to modify static procedure `(->/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:383 

%~ test_completed_exit(32)

totalTime=1.000

FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k sanity_equals_02.pel (returned 32) Add_LABELS='Errors' Rem_LABELS='Skipped,Warnings,Overtime,Skipped,Skipped'