3:-expects_dialect(ecalc). 4
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
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
137:- run_tests. 138