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

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% ttcc4 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(white) role(black) base(cell(X,Y,Piece)) :- start(Piece,X,Y) base(cell(X,Y,Piece)) :- onboard(X,Y) & piece(Piece,pawn,Color) base(cell(X,Y,Piece)) :- onboard(X,Y) & piece(Piece,knight,Color) base(cell(X,Y,Piece)) :- onboard(X,Y) & oddsquare(X,Y) & piece(Piece,checker,Color) base(cell(X,Y,Piece)) :- index(X) & chute(Y) & piece(Piece,disk,Color) base(step(1)) base(step(N)) :- succ(M,N) base(control(Player)) :- role(Player) action(drop(Y)) :- role(Player) & chute(Y) action(pawnmove(X1,Y1,X2,Y2)) :- piece(Piece,pawn,Player) & active(Piece,X1,Y1) & orthogonal(X1,Y1,X2,Y2) & onboard(X2,Y2) action(pawnmove(X1,Y1,X2,Y2)) :- piece(Piece,pawn,Player) & active(Piece,X1,Y1) & diagonal(X1,Y1,X2,Y2) & onboard(X2,Y2) action(knightmove(X1,Y1,X2,Y2)) :- piece(Piece,knight,Player) & active(Piece,X1,Y1) & ell(X1,Y1,X2,Y2) & onboard(X2,Y2) action(checkermove(X1,Y1,X2,Y2)) :- piece(Piece,checker,Player) & active(Piece,X1,Y1) & diagonal(X1,Y1,X2,Y2) & onboard(X2,Y2) & oddsquare(X2,Y2) action(jump(X1,Y1,X2,Y2,X3,Y3)) :- piece(Piece,checker,Player) & active(Piece,X1,Y1) & jumpable(X1,Y1,X2,Y2,X3,Y3) & onboard(X3,Y3) & oddsquare(X2,Y2) action(noop) :- role(Player) action(kerchunk) active(Piece,X,Y) :- start(Piece,X,Y) active(Piece,X,Y) :- piece(Piece,Type,Role) & onboard(X,Y) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(cell(3,1,whiteknight)) init(cell(4,1,whitechecker)) init(cell(5,1,whitepawn)) init(cell(3,7,blackpawn)) init(cell(4,7,blackchecker)) init(cell(5,7,blackknight)) init(step(1)) init(control(white)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(drop(N)) :- chute(N) & emptycell(1,N) legal(pawnmove(M1,N1,M2,N2)) :- control(Role) & cell(M1,N1,Piece) & piece(Piece,pawn,Role) & orthogonal(M1,N1,M2,N2) & onboard(M2,N2) & emptycell(M2,N2) legal(knightmove(X1,Y1,X2,Y2)) :- control(Role) & cell(X1,Y1,Piece) & piece(Piece,knight,Role) & ell(X1,Y1,X2,Y2) & onboard(X2,Y2) & emptycell(X2,Y2) legal(knightmove(X1,Y1,X2,Y2)) :- control(Role1) & cell(X1,Y1,Piece) & piece(Piece,knight,Role1) & ell(X1,Y1,X2,Y2) & onboard(X2,Y2) & cell(X2,Y2,Piece2) & piece(Piece2,Type,Role2) & distinct(Role1,Role2) legal(checkermove(X1,Y1,X2,Y2)) :- control(Role) & cell(X1,Y1,Piece) & piece(Piece,checker,Role) & diagonal(X1,Y1,X2,Y2) & onboard(X2,Y2) & emptycell(X2,Y2) legal(jump(X1,Y1,X2,Y2,X3,Y3)) :- control(Role1) & cell(X1,Y1,Piece) & piece(Piece,checker,Role1) & jumpable(X1,Y1,X2,Y2,X3,Y3) & cell(X2,Y2,Piece2) & piece(Piece2,Ignore,Role2) & distinct(Role1,Role2) & emptycell(X3,Y3) legal(noop) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% drop(N) :: control(Role) & lowpoint(M,N) & piece(Piece,disk,Role) ==> cell(M,N,Piece) drop(N) :: kerchunk pawnmove(X1,Y1,X2,Y2) :: cell(X1,Y1,Piece) ==> ~cell(X1,Y1,Piece) & cell(X2,Y2,Piece) pawnmove(X1,Y1,X2,Y2) :: kerchunk knightmove(M1,N1,M2,N2) :: cell(M1,N1,Piece) ==> ~cell(M1,N1,Piece) & cell(M2,N2,Piece) knightmove(M1,N1,M2,N2) :: cell(M2,N2,Piece) ==> ~cell(M2,N2,Piece) knightmove(M1,N1,M2,N2) :: cell(M2,N2,Piece) & start(Piece,M,N) ==> cell(M,N,Piece) knightmove(M1,N1,M2,N2) :: kerchunk checkermove(M1,N1,M2,N2) :: cell(M1,N1,Piece) ==> ~cell(M1,N1,Piece) & cell(M2,N2,Piece) checkermove(M1,N1,M2,N2) :: kerchunk jump(M1,N1,M2,N2,M3,N3) :: cell(M1,N1,Piece) ==> ~cell(M1,N1,Piece) & cell(M3,N3,Piece) jump(M1,N1,M2,N2,M3,N3) :: cell(M2,N2,Piece) ==> ~cell(M2,N2,Piece) jump(M1,N1,M2,N2,M3,N3) :: cell(M2,N2,Piece) & start(Piece,M,N) ==> cell(M,N,Piece) jump(M1,N1,M2,N2,M3,N3) :: kerchunk noop :: kerchunk kerchunk :: step(T1) & succ(T1,T2) ==> ~step(T1) & step(T2) kerchunk :: control(white) ==> ~control(white) & control(black) kerchunk :: control(black) ==> ~control(black) & control(white) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(white,100) :- line(white) goal(white,50) :- ~line(white) & ~line(black) goal(white,0) :- line(black) goal(black,100) :- line(black) goal(black,50) :- ~line(white) & ~line(black) goal(black,0) :- line(white) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- line(Role) terminal :- step(41) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Views %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% orthogonal(X1,Y,X2,Y) :- plus1(X1,X2) & index(Y) orthogonal(X1,Y,X2,Y) :- plus1(X2,X1) & index(Y) orthogonal(X,Y1,X,Y2) :- plus1(Y1,Y2) & index(X) orthogonal(X,Y1,X,Y2) :- plus1(Y2,Y1) & index(X) diagonal(X1,Y1,X2,Y2) :- plus1(X1,X2) & plus1(Y1,Y2) diagonal(X1,Y1,X2,Y2) :- plus1(X1,X2) & plus1(Y2,Y1) diagonal(X1,Y1,X2,Y2) :- plus1(X2,X1) & plus1(Y1,Y2) diagonal(X1,Y1,X2,Y2) :- plus1(X2,X1) & plus1(Y2,Y1) ell(X1,Y1,X2,Y2) :- plus2(X2,X1) & plus1(Y1,Y2) ell(X1,Y1,X2,Y2) :- plus1(X2,X1) & plus2(Y1,Y2) ell(X1,Y1,X2,Y2) :- plus1(X1,X2) & plus2(Y1,Y2) ell(X1,Y1,X2,Y2) :- plus2(X1,X2) & plus1(Y1,Y2) ell(X1,Y1,X2,Y2) :- plus2(X2,X1) & plus1(Y2,Y1) ell(X1,Y1,X2,Y2) :- plus1(X2,X1) & plus2(Y2,Y1) ell(X1,Y1,X2,Y2) :- plus1(X1,X2) & plus2(Y2,Y1) ell(X1,Y1,X2,Y2) :- plus2(X1,X2) & plus1(Y2,Y1) jumpable(X1,Y1,X2,Y2,X3,Y3) :- plus1(X1,X2) & plus1(Y1,Y2) & plus1(X2,X3) & plus1(Y2,Y3) jumpable(X1,Y1,X2,Y2,X3,Y3) :- plus1(X1,X2) & plus1(Y2,Y1) & plus1(X2,X3) & plus1(Y3,Y2) jumpable(X1,Y1,X2,Y2,X3,Y3) :- plus1(X2,X1) & plus1(Y1,Y2) & plus1(X3,X2) & plus1(Y2,Y3) jumpable(X1,Y1,X2,Y2,X3,Y3) :- plus1(X2,X1) & plus1(Y2,Y1) & plus1(X3,X2) & plus1(Y3,Y2) lowpoint(M,N) :- lowpointfrom(1,N,M,N) lowpointfrom(7,N,7,N) :- index(N) lowpointfrom(M1,N,M1,N) :- plus1(M1,M2) & cell(M2,N,Piece) lowpointfrom(M1,N,M3,N) :- plus1(M1,M2) & emptycell(M2,N) & lowpointfrom(M2,N,M3,N) onboard(X,Y) :- index(X) & index(Y) & distinct(X,1) & distinct(X,7) & distinct(Y,1) & distinct(Y,7) controls(X,Y,Role) :- cell(X,Y,Piece) & piece(Piece,Type,Role) emptycell(X,Y) :- index(X) & index(Y) & ~controls(X,Y,white) & ~controls(X,Y,black) line(Role) :- row(Role) line(Role) :- column(Role) line(Role) :- diag(Role) row(Role) :- controls(3,3,Role) & controls(3,4,Role) & controls(3,5,Role) row(Role) :- controls(4,3,Role) & controls(4,4,Role) & controls(4,5,Role) row(Role) :- controls(5,3,Role) & controls(5,4,Role) & controls(5,5,Role) column(Role) :- controls(3,3,Role) & controls(4,3,Role) & controls(5,3,Role) column(Role) :- controls(3,4,Role) & controls(4,4,Role) & controls(5,4,Role) column(Role) :- controls(3,5,Role) & controls(4,5,Role) & controls(5,5,Role) diag(Role) :- controls(3,3,Role) & controls(4,4,Role) & controls(5,5,Role) diag(Role) :- controls(3,5,Role) & controls(4,4,Role) & controls(5,3,Role) oddsquare(X,Y) :- oddidx(X) & evenidx(Y) oddsquare(X,Y) :- oddidx(Y) & evenidx(X) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Facts %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% rotation(white,black) rotation(black,white) start(whitepawn,5,1) start(whitechecker,4,1) start(whiteknight,3,1) start(blackpawn,3,7) start(blackchecker,4,7) start(blackknight,5,7) piece(whitedisk,disk,white) piece(blackdisk,disk,black) piece(whitepawn,pawn,white) piece(blackpawn,pawn,black) piece(whitechecker,checker,white) piece(blackchecker,checker,black) piece(whiteknight,knight,white) piece(blackknight,knight,black) chute(3) chute(4) chute(5) index(1) index(2) index(3) index(4) index(5) index(6) index(7) plus1(1,2) plus1(2,3) plus1(3,4) plus1(4,5) plus1(5,6) plus1(6,7) plus2(1,3) plus2(2,4) plus2(3,5) plus2(4,6) plus2(5,7) oddidx(1) oddidx(3) oddidx(5) oddidx(7) evenidx(2) evenidx(4) evenidx(6) succ(1,2) succ(2,3) succ(3,4) succ(4,5) succ(5,6) succ(6,7) succ(7,8) succ(8,9) succ(9,10) succ(10,11) succ(11,12) succ(12,13) succ(13,14) succ(14,15) succ(15,16) succ(16,17) succ(17,18) succ(18,19) succ(19,20) succ(20,21) succ(21,22) succ(22,23) succ(23,24) succ(24,25) succ(25,26) succ(26,27) succ(27,28) succ(28,29) succ(29,30) succ(30,31) succ(31,32) succ(32,33) succ(33,34) succ(34,35) succ(35,36) succ(36,37) succ(37,38) succ(38,39) succ(39,40) succ(40,41) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%