Gamemaster General Game Playing battleofnumbers Description Battle of Numbers is a game played on a 5x5 rectangular board. Team red starts on the left column, and team green starts on the right. Each team has five number fighters 1, 2, 3, 4, 5. Only one fighter is permitted on a square at a time. A fighter can move forward to an empty cell orthogonally or diagonally. A fighter can capture opponent's pieces diagonally only and can capture backward. Generally, a number can "eat" any smaller or equal number, except that number 1 can eat 5 but 5 cannot eat 1. The winner is the player with the larger number of fighters at the end of the game. Rulesheet %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% battleofnumbers %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(red) role(green) base(cell(M,N,D,R)) :- index(M) & index(N) & index(D) & role(R) base(capture(R,0)) :- role(R) base(capture(R,N)) :- role(R) & captureadd(M,N) base(step(1)) base(step(N)) :- succ(M,N) base(control(R)) :- role(R) action(move(M,N1,M,N2)) :- next(N1,N2) & index(M) action(move(M,N2,M,N1)) :- next(N1,N2) & index(M) action(move(M1,N1,M2,N2)) :- diagonal(M1,N1,M2,N2) action(kerchunk) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(cell(1,1,1,red)) init(cell(2,1,3,red)) init(cell(3,1,5,red)) init(cell(4,1,4,red)) init(cell(5,1,2,red)) init(cell(1,5,2,green)) init(cell(2,5,4,green)) init(cell(3,5,5,green)) init(cell(4,5,3,green)) init(cell(5,5,1,green)) init(capture(red,0)) init(capture(green,0)) init(step(1)) init(control(red)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(M) :- playable(M) playable(move(M,N1,M,N2)) :- control(red) & cell(M,N1,D,red) & next(N1,N2) & ~occupiedcell(M,N2) playable(move(M,N1,M,N2)) :- control(green) & cell(M,N1,D,green) & next(N2,N1) & ~occupiedcell(M,N2) playable(move(M1,N1,M2,N2)) :- control(red) & cell(M1,N1,D,red) & forward(M1,N1,M2,N2) & ~occupiedcell(M2,N2) playable(move(M1,N1,M2,N2)) :- control(green) & cell(M1,N1,D,green) & backward(M1,N1,M2,N2) & ~occupiedcell(M2,N2) playable(move(M1,N1,M2,N2)) :- control(R1) & cell(M1,N1,D1,R1) & diagonal(M1,N1,M2,N2) & cell(M2,N2,D2,R2) & distinct(R1,R2) & eatable(D1,D2) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% move(M1,N1,M2,N2) :: cell(M1,N1,D,R) ==> ~cell(M1,N1,D,R) & cell(M2,N2,D,R) move(M1,N1,M2,N2) :: cell(M2,N2,D,R) ==> ~cell(M2,N2,D,R) move(M1,N1,M2,N2) :: control(R1) & cell(M2,N2,D,R2) & capture(R1,C1) & captureadd(C1,C2) ==> ~capture(R1,C1) & capture(R1,C2) move(M1,N1,M2,N2) :: kerchunk kerchunk :: control(red) ==> ~control(red) & control(green) kerchunk :: control(green) ==> ~control(green) & control(red) kerchunk :: step(M) & succ(M,N) ==> ~step(M) & step(N) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(red,N) :- capture(red,R) & capture(green,G) & score(R,G,N) goal(green,N) :- capture(red,R) & capture(green,G) & score(G,R,N) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- ~open open :- playable(M) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Views %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% forward(M1,N1,M2,N2) :- next(M1,M2) & next(N1,N2) forward(M1,N1,M2,N2) :- next(M2,M1) & next(N1,N2) backward(M1,N1,M2,N2) :- next(M1,M2) & next(N2,N1) backward(M1,N1,M2,N2) :- next(M2,M1) & next(N2,N1) diagonal(M1,N1,M2,N2) :- forward(M1,N1,M2,N2) diagonal(M1,N1,M2,N2) :- backward(M1,N1,M2,N2) occupiedcell(M,N) :- cell(M,N,D,R) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Facts %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% index(1) index(2) index(3) index(4) index(5) next(1,2) next(2,3) next(3,4) next(4,5) eatable(5,5) eatable(5,4) eatable(5,3) eatable(5,2) eatable(4,4) eatable(4,3) eatable(4,2) eatable(4,1) eatable(3,3) eatable(3,2) eatable(3,1) eatable(2,2) eatable(2,1) eatable(1,1) eatable(1,5) captureadd(0,1) captureadd(1,2) captureadd(2,3) captureadd(3,4) captureadd(4,5) score(0,0,50) score(0,1,40) score(0,2,30) score(0,3,20) score(0,4,10) score(0,5,0) score(1,0,60) score(1,1,50) score(1,2,40) score(1,3,30) score(1,4,20) score(1,5,10) score(2,0,70) score(2,1,60) score(2,2,50) score(2,3,40) score(2,4,30) score(2,5,20) score(3,0,80) score(3,1,70) score(3,2,60) score(3,3,50) score(3,4,40) score(3,5,30) score(4,0,90) score(4,1,80) score(4,2,70) score(4,3,60) score(4,4,50) score(4,5,40) score(5,0,100) score(5,1,90) score(5,2,80) score(5,3,70) score(5,4,60) score(5,5,50) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Stylesheet //------------------------------------------------------------------------------ // battleofnumbers //------------------------------------------------------------------------------ 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','0'); table.setAttribute('bgcolor','white'); table.setAttribute('border','10'); makerow(table,0,state); makerow(table,1,state); makerow(table,2,state); makerow(table,3,state); makerow(table,4,state); return table} function makerow (table,rownum,state) {var row =table.insertRow(rownum); makecell(row,rownum,0,state); makecell(row,rownum,1,state); makecell(row,rownum,2,state); makecell(row,rownum,3,state); makecell(row,rownum,4,state); return row} function makecell (row,rownum,colnum,state) {var cell = row.insertCell(colnum); cell.setAttribute('width','50'); cell.setAttribute('height','50'); cell.setAttribute('align','center'); cell.setAttribute('valign','center'); cell.setAttribute('style','font-family:helvetica;font-size:18pt'); rownum = (rownum+1).toString(); colnum = (colnum+1).toString(); var greenmark = compfindx('Number', seq('cell', rownum, colnum, 'Number', 'green'), state, seq()); var redmark = compfindx('Number', seq('cell', rownum, colnum, 'Number', 'red'), state, seq()); if(greenmark){ cell.innerHTML = greenmark; cell.setAttribute('bgcolor','#66CD00') } else if (redmark) { cell.innerHTML = redmark; cell.setAttribute('bgcolor','#FF0000') } else { cell.innerHTML = ' '; }; return cell} //------------------------------------------------------------------------------ //------------------------------------------------------------------------------ //------------------------------------------------------------------------------ Ownership