Gamemaster General Game Playing chinook Description Chinook is a pure movement game played on 4x8 checkers board. The red player's pieces are positioned on the odd squares, and the blue players pieces are positioned on the even squares. Red's pieces move up the board by advancing diagonally to an empty square or by jumping over its own pieces. Single jumps only. The blue player's pieces move down the board by advancing diagonally to an empty square or by jumping over its own pieces. Single jumps only. Note that the board wraps around both horizontally and vertically, e.g. it is possible to move from the righthand side of the board to the left and vice versa. Each player's score is based on the number of pieces in their "target" positions (the three rows across from their starting positions). The game ends whenever one player has all pieces in their target positions or on step 41, whichever comes first. Rulesheet %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% chinook %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(red) role(blue) base(cell(F,R,red)) :- isaodd(F,R) base(cell(F,R,blue)) :- isaeven(F,R) base(cell(F,R,b)) :- isaodd(F,R) base(cell(F,R,b)) :- isaeven(F,R) base(score(W,0)) :- role(W) base(score(W,N)) :- role(W) & scoreplus(M,N) base(control(W)) :- role(W) base(step(1)) base(step(N)) :- succ(M,N) action(move(U,V,X,Y)) :- isaodd(U,V) & forward(U,V,X,Y) action(move(X,Y,U,V)) :- isaeven(U,V) & forward(U,V,X,Y) action(jump(U,V,C,D,X,Y)) :- isaodd(U,V) & jumpable(U,V,C,D,X,Y) action(jump(X,Y,C,D,U,V)) :- isaeven(U,V) & jumpable(U,V,C,D,X,Y) action(update(red,U,V,X,Y)) :- isaodd(U,V) & forward(U,V,X,Y) action(update(blue,X,Y,U,V)) :- isaeven(U,V) & forward(U,V,X,Y) action(kerchunk) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(cell(a,1,red)) init(cell(a,2,b)) init(cell(a,3,red)) init(cell(a,4,b)) init(cell(a,5,b)) init(cell(a,6,blue)) init(cell(a,7,b)) init(cell(a,8,blue)) init(cell(b,1,b)) init(cell(b,2,red)) init(cell(b,3,b)) init(cell(b,4,b)) init(cell(b,5,b)) init(cell(b,6,b)) init(cell(b,7,blue)) init(cell(b,8,b)) init(cell(c,1,red)) init(cell(c,2,b)) init(cell(c,3,red)) init(cell(c,4,b)) init(cell(c,5,b)) init(cell(c,6,blue)) init(cell(c,7,b)) init(cell(c,8,blue)) init(cell(d,1,b)) init(cell(d,2,red)) init(cell(d,3,b)) init(cell(d,4,b)) init(cell(d,5,b)) init(cell(d,6,b)) init(cell(d,7,blue)) init(cell(d,8,b)) init(score(red,0)) init(score(blue,0)) init(control(red)) init(step(1)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(move(U,V,X,Y)) :- control(red) & cell(U,V,red) & forward(U,V,X,Y) & cell(X,Y,b) legal(move(X,Y,U,V)) :- control(blue) & cell(X,Y,blue) & forward(U,V,X,Y) & cell(U,V,b) legal(jump(U,V,C,D,X,Y)) :- control(red) & cell(U,V,red) & jumpable(U,V,C,D,X,Y) & cell(C,D,red) & cell(X,Y,b) legal(jump(X,Y,C,D,U,V)) :- control(blue) & cell(X,Y,blue) & jumpable(U,V,C,D,X,Y) & cell(C,D,blue) & cell(U,V,b) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% move(U,V,X,Y) :: control(W) ==> ~cell(U,V,W) & ~cell(X,Y,b) & cell(U,V,b) & cell(X,Y,W) & kerchunk & update(W,U,V,X,Y) jump(U,V,C,D,X,Y) :: control(W) ==> ~cell(U,V,W) & ~cell(X,Y,b) & cell(U,V,b) & cell(X,Y,W) & kerchunk & update(W,U,V,X,Y) update(W,U,V,X,Y) :: ~home(W,U,V) & home(W,X,Y) & score(W,M) & scoreplus(M,N) ==> ~score(W,M) & score(W,N) update(W,U,V,X,Y) :: home(W,U,V) & ~home(W,X,Y) & score(W,N) & scoreplus(M,N) ==> ~score(W,N) & score(W,M) kerchunk :: step(M) & succ(M,N) ==> ~step(M) & step(N) kerchunk :: control(red) ==> ~control(red) & control(blue) kerchunk :: control(blue) ==> ~control(blue) & control(red) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(red,Score) :- score(red,Score) goal(blue,Score) :- score(blue,Score) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- score(Player,100) terminal :- step(41) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Views %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% forward(U,V,X,Y) :- nextrank(V,Y) & nextfile(U,X) forward(U,V,X,Y) :- nextrank(V,Y) & nextfile(X,U) jumpable(U,V,C,D,X,Y) :- nextrank(V,D) & nextrank(D,Y) & nextfile(U,C) & nextfile(C,X) jumpable(U,V,C,D,X,Y) :- nextrank(V,D) & nextrank(D,Y) & nextfile(X,C) & nextfile(C,U) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Facts %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% nextrank(1,2) nextrank(2,3) nextrank(3,4) nextrank(4,5) nextrank(5,6) nextrank(6,7) nextrank(7,8) %%nextrank(8,1) nextfile(a,b) nextfile(b,c) nextfile(c,d) nextfile(d,a) isaodd(a,1) isaeven(a,2) isaodd(a,3) isaeven(a,4) isaodd(a,5) isaeven(a,6) isaodd(a,7) isaeven(a,8) isaeven(b,1) isaodd(b,2) isaeven(b,3) isaodd(b,4) isaeven(b,5) isaodd(b,6) isaeven(b,7) isaodd(b,8) isaodd(c,1) isaeven(c,2) isaodd(c,3) isaeven(c,4) isaodd(c,5) isaeven(c,6) isaodd(c,7) isaeven(c,8) isaeven(d,1) isaodd(d,2) isaeven(d,3) isaodd(d,4) isaeven(d,5) isaodd(d,6) isaeven(d,7) isaodd(d,8) home(red,b,8) home(red,d,8) home(red,a,7) home(red,c,7) home(red,b,6) home(red,d,6) home(blue,b,3) home(blue,d,3) home(blue,a,2) home(blue,c,2) home(blue,b,1) home(blue,d,1) scoreplus(0,16) scoreplus(16,32) scoreplus(32,48) scoreplus(48,64) scoreplus(64,80) scoreplus(80,100) 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) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Stylesheet //------------------------------------------------------------------------------ // Chinook //------------------------------------------------------------------------------ function renderstate (state) {var step = compfindx('N',seq('step','N'),state,library); var role = compfindx('R',seq('control','R'),state,library); var table = document.createElement('table'); table.setAttribute('border','0'); var row = table.insertRow(0); var cell = row.insertCell(0); cell.setAttribute('align','center'); cell.setAttribute('style','font-size:20px'); cell.innerHTML = 'Step: ' + step; row = table.insertRow(1); var cell = row.insertCell(0); var board = renderboard(state); cell.appendChild(board); row = table.insertRow(2); var cell = row.insertCell(0); cell.setAttribute('align','center'); cell.setAttribute('style','font-size:20px'); if (compfindp('terminal',state,library)) {cell.innerHTML = 'Game over'} else {cell.innerHTML = 'Control: ' + role}; return table} function renderboard (state) {var table = document.createElement('table'); table.setAttribute('cellspacing','2'); table.setAttribute('bgcolor','#cccccc'); table.setAttribute('border','4'); for (var i=8; i>0; i=i-2) {var row = table.insertRow(8-i); var rank = stringize(i); addcell(row,'a',rank,state); addcell(row,'b',rank,state); addcell(row,'c',rank,state); addcell(row,'d',rank,state); //addcell(row,'e',rank,state); //addcell(row,'f',rank,state); //addcell(row,'g',rank,state); //addcell(row,'h',rank,state); row = table.insertRow(8-i+1); var rank = stringize(i-1); addcell(row,'a',rank,state); addcell(row,'b',rank,state); addcell(row,'c',rank,state); addcell(row,'d',rank,state); //addcell(row,'e',rank,state); //addcell(row,'f',rank,state); //addcell(row,'g',rank,state); //addcell(row,'h',rank,state) }; return table} function addcell (row,file,rank,state) {var cell = row.insertCell(row.cells.length); cell.setAttribute('bgcolor','#cccccc'); cell.setAttribute('width','50'); cell.setAttribute('height','50'); cell.setAttribute('align','center'); cell.setAttribute('valign','center'); var image = getimage(file,rank,state); if (image) {var widget = document.createElement('img'); widget.setAttribute('width','40'); widget.setAttribute('height','40'); widget.setAttribute('src',image); cell.appendChild(widget)} else {cell.innerHTML = ' '}; return true} function getimage (file,rank,state) {var color = compfindx('Piece',seq('cell',file,rank,'Piece'),state,library); if (color==='red') {return '../library/chinook/red.png'}; if (color==='blue') {return '../library/chinook/blue.png'}; return false} //------------------------------------------------------------------------------ //------------------------------------------------------------------------------ //------------------------------------------------------------------------------ Ownership