Gamemaster General Game Playing Materializer Game Description: role(robot) base(f(X,Y)) :- g(X,Y) base(e(X,Y)) :- g(X,Y) action(doit(a)) init(f(a,b)) init(e(a,b)) s(X,Y,Z) :- q(X,Y) & r(Y,Z) & p(X) h(X,Y,Z) :- g(X,Y) & g(Y,Z) & j(Z) j(Y) :- g(X,Y) & k(Y) k(Y) :- f(X,Y) l(Y) :- g(Y,Y) g(a,a) g(a,b) g(b,c) g(b,d) g(c,a) g(c,b) g(d,c) g(d,d) Analysis: