Gamemaster Sign In Protocol: standalone Strategy: manager   Game: queens6x6 Startclock: Infinity Playclock: Infinity Move:

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% queens6x6 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(white) base(filled(X,Y)) :- file(X) & rank(Y) base(step(M)) :- pp(M,N) base(control(white)) action(place(U,V)) :- file(U) & rank(V) action(kerchunk) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(control(white)) init(step(1)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(place(a,Y)) :- step(1) & rank(Y) legal(place(b,Y)) :- step(2) & rank(Y) legal(place(c,Y)) :- step(3) & rank(Y) legal(place(d,Y)) :- step(4) & rank(Y) legal(place(e,Y)) :- step(5) & rank(Y) legal(place(f,Y)) :- step(6) & rank(Y) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% place(X,Y) :: filled(X,Y) place(X,Y) :: kerchunk kerchunk :: step(S) & pp(S,T) ==> ~step(S) & step(T) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(white,0) :- step(1) goal(white,10) :- step(2) & filled(a,Y1) & solution(Y1,Y2,Y3,Y4,Y5,Y6) goal(white,20) :- step(3) & filled(a,Y1) & filled(b,Y2) & solution(Y1,Y2,Y3,Y4,Y5,Y6) goal(white,40) :- step(4) & filled(a,Y1) & filled(b,Y2) & filled(c,Y3) & solution(Y1,Y2,Y3,Y4,Y5,Y6) goal(white,60) :- step(5) & filled(a,Y1) & filled(b,Y2) & filled(c,Y3) & filled(d,Y4) & solution(Y1,Y2,Y3,Y4,Y5,Y6) goal(white,80) :- step(6) & filled(a,Y1) & filled(b,Y2) & filled(c,Y3) & filled(d,Y4) & filled(e,Y5) & solution(Y1,Y2,Y3,Y4,Y5,Y6) goal(white,100) :- step(7) & filled(a,Y1) & filled(b,Y2) & filled(c,Y3) & filled(d,Y4) & filled(e,Y5) & filled(f,Y6) & solution(Y1,Y2,Y3,Y4,Y5,Y6) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- step(7) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Views %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% solution(Y1,Y2,Y3,Y4,Y5,Y6) :- rank(Y1) & rank(Y2) & ~queenmove(a,Y1,b,Y2) & rank(Y3) & ~queenmove(b,Y2,c,Y3) & ~queenmove(a,Y1,c,Y3) & rank(Y4) & ~queenmove(a,Y1,d,Y4) & ~queenmove(b,Y2,d,Y4) & ~queenmove(c,Y3,d,Y4) & rank(Y5) & ~queenmove(a,Y1,e,Y5) & ~queenmove(b,Y2,e,Y5) & ~queenmove(c,Y3,e,Y5) & ~queenmove(d,Y4,e,Y5) & rank(Y6) & ~queenmove(a,Y1,f,Y6) & ~queenmove(b,Y2,f,Y6) & ~queenmove(c,Y3,f,Y6) & ~queenmove(d,Y4,f,Y6) & ~queenmove(e,Y5,f,Y6) queenmove(X1,Y1,X2,Y2) :- rookmove(X1,Y1,X2,Y2) queenmove(X1,Y1,X2,Y2) :- bishopmove(X1,Y1,X2,Y2) rookmove(X1,Y1,X2,Y2) :- horizontalmove(X1,Y1,X2,Y2) rookmove(X1,Y1,X2,Y2) :- horizontalmove(X2,Y2,X1,Y1) rookmove(X1,Y1,X2,Y2) :- verticalmove(X1,Y1,X2,Y2) rookmove(X1,Y1,X2,Y2) :- verticalmove(X2,Y2,X1,Y1) bishopmove(X1,Y1,X2,Y2) :- northeastmove(X1,Y1,X2,Y2) bishopmove(X1,Y1,X2,Y2) :- northeastmove(X2,Y2,X1,Y1) bishopmove(X1,Y1,X2,Y2) :- southeastmove(X1,Y1,X2,Y2) bishopmove(X1,Y1,X2,Y2) :- southeastmove(X2,Y2,X1,Y1) horizontalmove(X1,Y,X2,Y) :- nextfile(X1,X2) & rank(Y) horizontalmove(X1,Y,X3,Y) :- nextfile(X1,X2) & cellempty(X2,Y) & horizontalmove(X2,Y,X3,Y) verticalmove(X,Y1,X,Y2) :- nextrank(Y1,Y2) & file(X) verticalmove(X,Y1,X,Y3) :- nextrank(Y1,Y2) & cellempty(X,Y2) & verticalmove(X,Y2,X,Y3) northeastmove(X1,Y1,X2,Y2) :- nextfile(X1,X2) & nextrank(Y1,Y2) northeastmove(X1,Y1,X3,Y3) :- nextfile(X1,X2) & nextrank(Y1,Y2) & cellempty(X2,Y2) & northeastmove(X2,Y2,X3,Y3) southeastmove(X1,Y1,X2,Y2) :- nextfile(X1,X2) & nextrank(Y2,Y1) southeastmove(X1,Y1,X3,Y3) :- nextfile(X1,X2) & nextrank(Y2,Y1) & cellempty(X2,Y2) & southeastmove(X2,Y2,X3,Y3) horizontal(X1,Y,X2,Y) :- nextfile(X1,X2) & rank(Y) horizontal(X1,Y,X3,Y) :- nextfile(X1,X2) & horizontal(X2,Y,X3,Y) vertical(X,Y1,X,Y2) :- nextrank(Y1,Y2) & file(X) vertical(X,Y1,X,Y3) :- nextrank(Y1,Y2) & vertical(X,Y2,X,Y3) northeast(X1,Y1,X2,Y2) :- nextfile(X1,X2) & nextrank(Y1,Y2) northeast(X1,Y1,X3,Y3) :- nextfile(X1,X2) & nextrank(Y1,Y2) & northeast(X2,Y2,X3,Y3) southeast(X1,Y1,X2,Y2) :- nextfile(X1,X2) & nextrank(Y2,Y1) southeast(X1,Y1,X3,Y3) :- nextfile(X1,X2) & nextrank(Y2,Y1) & southeast(X2,Y2,X3,Y3) cellempty(X,Y) :- file(X) & rank(Y) & ~filled(X,Y) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Facts %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% file(a) file(b) file(c) file(d) file(e) file(f) rank(1) rank(2) rank(3) rank(4) rank(5) rank(6) nextrank(1,2) nextrank(2,3) nextrank(3,4) nextrank(4,5) nextrank(5,6) nextfile(a,b) nextfile(b,c) nextfile(c,d) nextfile(d,e) nextfile(e,f) pp(1,2) pp(2,3) pp(3,4) pp(4,5) pp(5,6) pp(6,7) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%