1% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:0
    2% translate: begining  File: /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e.pro 
    3:-expects_dialect(ecalc).    4
    5% predicate Neighbor(position,position)
    6% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:2
    7predicate(neighbor(position,position)).
    8
    9
   10% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:3
   11% [position1,position2]
   12% Neighbor(position1,position2) <->
   13% ((position1=1 & position2=2) |
   14%  (position1=1 & position2=3) |
   15%  (position1=1 & position2=4) |
   16%  (position1=2 & position2=3) |
   17%  (position1=2 & position2=4) |
   18%  (position1=3 & position2=4) |
   19%  (position1=5 & position2=6) |
   20%  (position1=5 & position2=7) |
   21%  (position1=5 & position2=8) |
   22%  (position1=6 & position2=7) |
   23%  (position1=6 & position2=8) |
   24%  (position1=7 & position2=8) |
   25%  (position2=1 & position1=2) |
   26%  (position2=1 & position1=3) |
   27%  (position2=1 & position1=4) |
   28%  (position2=2 & position1=3) |
   29%  (position2=2 & position1=4) |
   30%  (position2=3 & position1=4) |
   31%  (position2=5 & position1=6) |
   32%  (position2=5 & position1=7) |
   33%  (position2=5 & position1=8) |
   34%  (position2=6 & position1=7) |
   35%  (position2=6 & position1=8) |
   36%  (position2=7 & position1=8) |
   37%  (position1=4 & position2=7) |
   38%  (position2=4 & position1=7)).
   39% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:30
   40neighbor(Position1, Position2) <->
   41    (   Position1=1,
   42        Position2=2
   43    ;   Position1=1,
   44        Position2=3
   45    ;   Position1=1,
   46        Position2=4
   47    ;   Position1=2,
   48        Position2=3
   49    ;   Position1=2,
   50        Position2=4
   51    ;   Position1=3,
   52        Position2=4
   53    ;   Position1=5,
   54        Position2=6
   55    ;   Position1=5,
   56        Position2=7
   57    ;   Position1=5,
   58        Position2=8
   59    ;   Position1=6,
   60        Position2=7
   61    ;   Position1=6,
   62        Position2=8
   63    ;   Position1=7,
   64        Position2=8
   65    ;   Position2=1,
   66        Position1=2
   67    ;   Position2=1,
   68        Position1=3
   69    ;   Position2=1,
   70        Position1=4
   71    ;   Position2=2,
   72        Position1=3
   73    ;   Position2=2,
   74        Position1=4
   75    ;   Position2=3,
   76        Position1=4
   77    ;   Position2=5,
   78        Position1=6
   79    ;   Position2=5,
   80        Position1=7
   81    ;   Position2=5,
   82        Position1=8
   83    ;   Position2=6,
   84        Position1=7
   85    ;   Position2=6,
   86        Position1=8
   87    ;   Position2=7,
   88        Position1=8
   89    ;   Position1=4,
   90        Position2=7
   91    ;   Position2=4,
   92        Position1=7
   93    ).
   94
   95
   96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:33
   97% [x,y]
   98 % Neighbor_rev(y,x) <-> Neighbor(x,y).
   99neighbor_rev(Y, X) <->
  100    neighbor(X, Y).
  101
  102
  103% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:35
  104%; Prolog code starts with ; and %
  105:- register_tests(
  106                  [ test_tru(neighbor(1, 2)),
  107                    test_tru(neighbor(1, 3)),
  108                    test_tru(neighbor(1, 4)),
  109                    test_tru(neighbor(2, 3)),
  110                    test_tru(neighbor(2, 4)),
  111                    test_tru(neighbor(3, 4)),
  112                    test_tru(neighbor(5, 6)),
  113                    test_tru(neighbor(5, 7)),
  114                    test_tru(neighbor(5, 8)),
  115                    test_tru(neighbor(6, 7)),
  116                    test_tru(neighbor(6, 8)),
  117                    test_tru(neighbor(7, 8)),
  118                    test_tru(neighbor_rev(1, 2)),
  119                    test_tru(neighbor_rev(1, 3)),
  120                    test_tru(neighbor_rev(1, 4)),
  121                    test_tru(neighbor_rev(2, 3)),
  122                    test_tru(neighbor_rev(2, 4)),
  123                    test_tru(neighbor_rev(3, 4)),
  124                    test_tru(neighbor_rev(5, 6)),
  125                    test_tru(neighbor_rev(5, 7)),
  126                    test_tru(neighbor_rev(5, 8)),
  127                    test_tru(neighbor_rev(6, 7)),
  128                    test_tru(neighbor_rev(6, 8)),
  129                    test_tru(neighbor_rev(7, 8)),
  130                    test_tru(neighbor(4, 7)),
  131                    test_tru(neighbor_rev(4, 7))
  132                  ]).  133
  134
  135
  136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:37
  137:- run_tests.  138
  139% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:66
  140% translate: ending  File: /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e.pro