2axiom(equals(X, Y), [call(X = Y)]).
    3axiom(not(equals(X, Y)), [call(X \= Y)]).
    4%axiom((G ; _), [G]).
    5%axiom((_ ; G), [G]).
    6axiom(neighbor(1, 2), []).
    7axiom(neighbor(X, Y), [call(X>Y), neighbor(Y, X)]).
    8% axiom(neighbor(X, Y), [ neighbor(Y, X)]).
    9/*
   10Most animals can compare natural numbers. But counting is a "behavoviour script" that comes from playing a game with words. 
   11That game requires using language.  
   12Until such a game is played it is very unlikely to expect these numbers belong in a "numerical order".
   13Most animals (including bees) can see the numerical difference between the natural numbers 
   14(though bees are born with language with syntax and smeantic rules).
   15*/
   16%"Language" is a system that allows thoughts to be turned into a low mental bandwith immediate thoughtform.  Buffered in suchb a way that when echo'd a new unrelated thoughtform can take place  
   17
   18
   19
   20
   21% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/sanity_equals_01.e:34
   22%; Prolog code starts with ;:-
   23do_test(all):-  maplist(call, 
   24 [ 
   25    assert(( test_neighbor(X, Y) :- must(ec_prove(neighbor(X, Y))), must(ec_prove(neighbor(Y, X))) )),
   26
   27    assert(( test_not_neighbor(X, Y) :- must(ec_prove(not(neighbor(X, Y)))), must(ec_prove(not(neighbor(Y, X)))) )),
   28
   29    test_neighbor(1, 2),
   30    test_neighbor(1, 3),
   31    test_neighbor(1, 4),
   32    test_neighbor(2, 3),
   33    test_neighbor(2, 4),
   34    test_neighbor(3, 4),
   35    test_neighbor(4, 7),
   36    test_not_neighbor(4, 8),
   37    test_neighbor(5, 6),
   38    test_neighbor(5, 7),
   39    test_neighbor(5, 8),
   40    test_neighbor(6, 7),
   41    test_neighbor(6, 8),
   42    test_neighbor(7, 8) ]).
   43
   44:- listing([ec_current_domain_db, axiom]).