Merge pull request #47 from AlexLandau/master

Fix bugs in point_grab, snakeAssemblit, and racetrackcorridor

war/root/games/point_grab/v1/point_grab.kif

@@ -0,0 +1,146 @@
+; A game designed to illustrate the problem with treating simulataneous moves
+; as turn-taking.
+
+(role first)
+(role second)
+
+(init (points first 0))
+(init (points second 0))
+(init (step 0))
+
+(<= (legal ?r scream)
+    (role ?r))
+(<= (legal ?r shout)
+    (role ?r))
+(<= (legal ?r cry)
+    (role ?r))
+(<= (legal ?r whine)
+    (role ?r))
+(<= (legal ?r a_point)
+    (role ?r))
+(<= (legal ?r b_point)
+    (role ?r))
+(<= (legal ?r complain)
+    (role ?r))
+(<= (legal ?r sulk)
+    (role ?r))
+(<= (legal ?r grumble)
+    (role ?r))
+(<= (legal ?r mope)
+    (role ?r))
+
+(<= (next (step ?n))
+    (true (step ?p))
+    (succ ?p ?n))
+
+(<= (next (points ?r ?p))
+    (true (points ?r ?p))
+    (not (gainpoints ?r)))
+
+(<= (next (points ?r ?p))
+    (true (points ?r ?old_points))
+    (gainpoints ?r)
+    (plus5 ?old_points ?p))
+
+(<= (gainpoints ?r)
+    (does ?r a_point)
+    (role ?opponent)
+    (distinct ?r ?opponent)
+    (not (does ?opponent a_point)))
+
+(<= (gainpoints ?r)
+    (does ?r b_point)
+    (role ?opponent)
+    (distinct ?r ?opponent)
+    (not (does ?opponent b_point)))
+
+(<= (goal ?r ?points)
+    (true (points ?r ?points)))
+
+(<= terminal
+    (true (step 30)))
+
+(<= terminal
+    (true (points ?r 100)))
+
+(plus5 0 5)
+(plus5 5 10)
+(plus5 10 15)
+(plus5 15 20)
+(plus5 20 25)
+(plus5 25 30)
+(plus5 30 35)
+(plus5 35 40)
+(plus5 40 45)
+(plus5 45 50)
+(plus5 50 55)
+(plus5 55 60)
+(plus5 60 65)
+(plus5 65 70)
+(plus5 70 75)
+(plus5 75 80)
+(plus5 80 85)
+(plus5 85 90)
+(plus5 90 95)
+(plus5 95 100)
+
+(succ 0 1)
+(succ 1 2)
+(succ 2 3)
+(succ 3 4)
+(succ 4 5)
+(succ 5 6)
+(succ 6 7)
+(succ 7 8)
+(succ 8 9)
+(succ 9 10)
+(succ 10 11)
+(succ 11 12)
+(succ 12 13)
+(succ 13 14)
+(succ 14 15)
+(succ 15 16)
+(succ 16 17)
+(succ 17 18)
+(succ 18 19)
+(succ 19 20)
+(succ 20 21)
+(succ 21 22)
+(succ 22 23)
+(succ 23 24)
+(succ 24 25)
+(succ 25 26)
+(succ 26 27)
+(succ 27 28)
+(succ 28 29)
+(succ 29 30)
+
+(<= (base (points ?player 0))
+    (role ?player))
+(<= (base (points ?player ?n))
+    (role ?player)
+    (plus5 ?m ?n))
+(base (step 0))
+(<= (base (step ?n))
+    (succ ?p ?n))
+
+(<= (input ?r scream)
+    (role ?r))
+(<= (input ?r shout)
+    (role ?r))
+(<= (input ?r cry)
+    (role ?r))
+(<= (input ?r whine)
+    (role ?r))
+(<= (input ?r a_point)
+    (role ?r))
+(<= (input ?r b_point)
+    (role ?r))
+(<= (input ?r complain)
+    (role ?r))
+(<= (input ?r sulk)
+    (role ?r))
+(<= (input ?r grumble)
+    (role ?r))
+(<= (input ?r mope)
+    (role ?r))