Pentago

Click Start to begin; click Pause to suspend the timer.
Once started, click in a clear square to mark that square.
Click on a Rotate icon to rotate a board.
Player: red    Phase: place

red	black
0	0
06:00	06:00

phase(place) control(red) dormant %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% place(Q,M,N) :: control(Role) ==> cellholds(Q,M,N,Role) rotate(Q,Dir) :: cellholds(Q,M1,N1,Role) & rotation(Dir,M1,N1,M2,N2) ==> ~cellholds(Q,M1,N1,Role) & cellholds(Q,M2,N2,Role) place(Q,M,N) :: ~phase(place) & phase(rotate) rotate(Q,Dir) :: ~phase(rotate) & phase(place) rotate(Q,Dir) :: control(red) ==> ~control(red) & control(black) rotate(Q,Dir) :: control(black) ==> ~control(black) & control(red) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(red,100) :- line(red) & ~line(black) goal(red,50) :- ~line(red) & ~line(black) & ~boardopen goal(red,50) :- line(red) & line(black) goal(red,0) :- line(black) & ~line(red) goal(red,0) :- ~line(red) & ~line(black) & boardopen goal(black,100) :- line(black) & ~line(red) goal(black,50) :- ~line(red) & ~line(black) & ~boardopen goal(black,50) :- line(red) & line(black) goal(black,0) :- line(red) & ~line(black) goal(black,0) :- ~line(red) & ~line(black) & boardopen %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- line(red) terminal :- line(black) terminal :- ~boardopen terminal :- dormant %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Views %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% line(Player) :- row(Player) line(Player) :- col(Player) line(Player) :- diag(Player) row(Player) :- cellholds(Q1,M1,N1,Player) & globalindex(Q1,M1,N1,Mg,N1g) & succ(N1g,N2g) & globalindex(Q2,M2,N2,Mg,N2g) & cellholds(Q2,M2,N2,Player) & succ(N2g,N3g) & globalindex(Q3,M3,N3,Mg,N3g) & cellholds(Q3,M3,N3,Player) & succ(N3g,N4g) & globalindex(Q4,M4,N4,Mg,N4g) & cellholds(Q4,M4,N4,Player) & succ(N4g,N5g) & globalindex(Q5,M5,N5,Mg,N5g) & cellholds(Q5,M5,N5,Player) col(Player) :- cellholds(Q1,M1,N1,Player) & globalindex(Q1,M1,N1,M1g,Ng) & succ(M1g,M2g) & globalindex(Q2,M2,N2,M2g,Ng) & cellholds(Q2,M2,N2,Player) & succ(M2g,M3g) & globalindex(Q3,M3,N3,M3g,Ng) & cellholds(Q3,M3,N3,Player) & succ(M3g,M4g) & globalindex(Q4,M4,N4,M4g,Ng) & cellholds(Q4,M4,N4,Player) & succ(M4g,M5g) & globalindex(Q5,M5,N5,M5g,Ng) & cellholds(Q5,M5,N5,Player) diag(Player) :- cellholds(Q1,M1,N1,Player) & globalindex(Q1,M1,N1,M1g,N1g) & succ(M1g,M2g) & succ(N1g,N2g) & globalindex(Q2,M2,N2,M2g,N2g) & cellholds(Q2,M2,N2,Player) & succ(M2g,M3g) & succ(N2g,N3g) & globalindex(Q3,M3,N3,M3g,N3g) & cellholds(Q3,M3,N3,Player) & succ(M3g,M4g) & succ(N3g,N4g) & globalindex(Q4,M4,N4,M4g,N4g) & cellholds(Q4,M4,N4,Player) & succ(M4g,M5g) & succ(N4g,N5g) & globalindex(Q5,M5,N5,M5g,N5g) & cellholds(Q5,M5,N5,Player) diag(Player) :- cellholds(Q1,M1,N1,Player) & globalindex(Q1,M1,N1,M1g,N5g) & succ(M1g,M2g) & succ(N4g,N5g) & globalindex(Q2,M2,N2,M2g,N4g) & cellholds(Q2,M2,N2,Player) & succ(M2g,M3g) & succ(N3g,N4g) & globalindex(Q3,M3,N3,M3g,N3g) & cellholds(Q3,M3,N3,Player) & succ(M3g,M4g) & succ(N2g,N3g) & globalindex(Q4,M4,N4,M4g,N2g) & cellholds(Q4,M4,N4,Player) & succ(M4g,M5g) & succ(N1g,N2g) & globalindex(Q5,M5,N5,M5g,N1g) & cellholds(Q5,M5,N5,Player) globalindex(1,M,N,M,N) :- index(M) & index(N) globalindex(2,M,N,M,Ng) :- add(3,N,Ng) & index(M) globalindex(3,M,N,Mg,Ng) :- add(3,M,Mg) & add(3,N,Ng) globalindex(4,M,N,Mg,N) :- add(3,M,Mg) & index(N) rotation(clockwise,M1,N1,M2,N2) :- horizontalflip(N1,M1,M2,N2) rotation(counterclockwise,M1,N1,M2,N2) :- verticalflip(N1,M1,M2,N2) verticalflip(1,N,3,N) :- index(N) verticalflip(2,N,2,N) :- index(N) verticalflip(3,N,1,N) :- index(N) horizontalflip(M,1,M,3) :- index(M) horizontalflip(M,2,M,2) :- index(M) horizontalflip(M,3,M,1) :- index(M) boardopen :- cellempty(Q,M,N) cellempty(Q,M,N) :- quadrant(Q) & index(M) & index(N) & ~cellmarked(Q,M,N) cellmarked(Q,M,N) :- cellholds(Q,M,N,Role) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Facts %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% quadrant(1) quadrant(2) quadrant(3) quadrant(4) index(1) index(2) index(3) direction(clockwise) direction(counterclockwise) succ(1,2) succ(2,3) succ(3,4) succ(4,5) succ(5,6) add(3,1,4) add(3,2,5) add(3,3,6) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Stylesheet %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% click(cell(B,M,N)) :: ~terminal & phase(place) ==> place(B,M,N) click(rotate(B,D)) :: ~terminal & phase(rotate) ==> rotate(B,D) start :: ~dormant abort :: dormant innerhtml(cell(B,M,N)," ") :- quadrant(B) & index(M) & index(N) & ~cellholds(B,M,N,R) innerhtml(cell(B,M,N),"<img src='red.png' height='40'/>") :- cellholds(B,M,N,red) innerhtml(cell(B,M,N),"<img src='black.png' height='40'/>") :- cellholds(B,M,N,black) innerhtml(control,W) :- control(W) innerhtml(phase,W) :- phase(W) innerhtml(redreward,N) :- goal(red,N) innerhtml(blackreward,N) :- goal(black,N) innerhtml(control,W) :- control(W) attribute(cell(B,M,N),"onclick","modbutton(this)") :- phase(place) & ~terminal & empty(B,M,N) attribute(cell(B,M,N),"onclick","true") :- phase(rotate) attribute(cell(B,M,N),"onclick","true") :- terminal attribute(cell(B,M,N),"onclick","true") :- cellholds(B,M,N,R) style(cell(B,M,N),"cursor","pointer") :- phase(place) & ~terminal & empty(B,M,N) style(cell(B,M,N),"cursor","text") :- phase(rotate) style(cell(B,M,N),"cursor","text") :- terminal style(cell(B,M,N),"cursor","text") :- cellholds(B,M,N,R) attribute(starter,disabled,true) :- ~dormant attribute(starter,disabled,false) :- dormant empty(B,M,N) :- quadrant(B) & index(M) & index(N) & ~cellholds(B,M,N,R) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%