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]).