You are not logged in. login register
Game statespacemedium
name statespacemedium
creator admin
number of roles 1
stylesheet generic/generic.xsl
GDL v1
enabled
matches show matches
statistics show game statistics
description

Game Description

; statespacemedium
(role robot)
(init (depth level1))
(init (prev-goal 0))
(<= (legal robot (move ?direction))
    (direction ?direction))
(<= (next (choice ?x ?y))
    (true (choice ?x ?y)))
(<= (next (depth ?y))
    (true (depth ?x))
    (succ ?x ?y))
(<= (next (choice ?d ?x))
    (does robot (move ?x))
    (true (depth ?d)))
(<= (next (prev-goal ?x))
    (state-goal ?x))
(<= (next (prev-goal ?x))
    (not goal-defined)
    (true (prev-goal ?x)))
(<= goal-defined
    (state-goal ?x))
(<= (goal robot ?g)
    (state-goal ?g))
(<= (goal robot ?g)
    (not goal-defined)
    (true (prev-goal ?g)))
(<= (state-goal 11)
    (true (choice level1 c3))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c1)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 22)
    (true (choice level1 c4))
    (true (choice level2 c1))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 33)
    (true (choice level1 c3))
    (true (choice level2 c3))
    (true (choice level3 c2))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c1)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 44)
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c3))
    (true (choice level4 c4))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 55)
    (true (choice level1 c2))
    (true (choice level2 c2))
    (true (choice level3 c2))
    (true (choice level4 c3))
    (true (choice level5 c4))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 66)
    (true (choice level1 c4))
    (true (choice level2 c4))
    (true (choice level3 c1))
    (true (choice level4 c4))
    (true (choice level5 c1))
    (true (choice level6 c2))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 77)
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c2))
    (true (choice level4 c1))
    (true (choice level5 c3))
    (true (choice level6 c1))
    (true (choice level7 c1))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level2 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 88)
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c3))
    (true (choice level5 c1))
    (true (choice level6 c2))
    (true (choice level7 c3))
    (true (choice level8 c2))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c2)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 100)
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c4))
    (true (choice level5 c4))
    (true (choice level6 c3))
    (true (choice level7 c2))
    (true (choice level8 c4))
    (true (choice level9 c3))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c3)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2))))
(<= terminal
    (true (depth level10)))
(succ level1 level2)
(succ level2 level3)
(succ level3 level4)
(succ level4 level5)
(succ level5 level6)
(succ level6 level7)
(succ level7 level8)
(succ level8 level9)
(succ level9 level10)
(direction c1)
(direction c2)
(direction c3)
(direction c4)

sees_XML(...) rules

(<= (sees_xml random ?t) (true ?t))
(<= (sees_xml ?p ?t) (role ?p) (distinct ?p random) (true ?t))