Gamemaster General Game Playing Simplifier Game Description: role(robot) init(f(a,b)) init(e(a,b)) h(a,a,a) :- g(a,a) & g(a,a) & j(a) h(a,a,b) :- g(a,a) & g(a,b) & j(b) h(a,b,c) :- g(a,b) & g(b,c) & j(c) h(a,b,d) :- g(a,b) & g(b,d) & j(d) h(b,c,a) :- g(b,c) & g(c,a) & j(a) h(b,c,b) :- g(b,c) & g(c,b) & j(b) h(b,d,c) :- g(b,d) & g(d,c) & j(c) h(b,d,d) :- g(b,d) & g(d,d) & j(d) h(c,a,a) :- g(c,a) & g(a,a) & j(a) h(c,a,b) :- g(c,a) & g(a,b) & j(b) h(c,b,c) :- g(c,b) & g(b,c) & j(c) h(c,b,d) :- g(c,b) & g(b,d) & j(d) h(d,c,a) :- g(d,c) & g(c,a) & j(a) h(d,c,b) :- g(d,c) & g(c,b) & j(b) h(d,d,c) :- g(d,d) & g(d,c) & j(c) h(d,d,d) :- g(d,d) & g(d,d) & j(d) j(a) :- g(a,a) & k(a) j(b) :- g(a,b) & k(b) j(c) :- g(b,c) & k(c) j(d) :- g(b,d) & k(d) j(a) :- g(c,a) & k(a) j(b) :- g(c,b) & k(b) j(c) :- g(d,c) & k(c) j(d) :- g(d,d) & k(d) k(a) :- f(a,a) k(b) :- f(a,b) k(c) :- f(b,c) k(d) :- f(b,d) k(a) :- f(c,a) k(b) :- f(c,b) k(c) :- f(d,c) k(d) :- f(d,d) l(a) :- g(a,a) l(d) :- g(d,d) g(a,a) g(a,b) g(b,c) g(b,d) g(c,a) g(c,b) g(d,c) g(d,d) Result: