Gamemaster
General
Game
Playing
Optimizer
Game Description:
s(X,Y,Z) :- q(X,Y) & r(Y,Z) & p(X) h(X,Y,Z) :- g(X,Y) & g(Y,Z) & g(X,W) j(Y) :- g(X,Y) & p(Y) j(Y) :- g(X,Y) p(a) p(b) p(c) 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: