Gamemaster General Game Playing Protocol: tester Player: minimaxdepthground Depth: 4 Game: connectfourground %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% connectfour %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(red) role(black) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(control(red)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(drop(1)) :- columnopen(1) legal(drop(2)) :- columnopen(2) legal(drop(3)) :- columnopen(3) legal(drop(4)) :- columnopen(4) legal(drop(5)) :- columnopen(5) legal(drop(6)) :- columnopen(6) legal(drop(7)) :- columnopen(7) legal(drop(8)) :- columnopen(8) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% drop(1) :: control(red) & columnempty(1) ==> cell(1,1,red) drop(1) :: control(black) & columnempty(1) ==> cell(1,1,black) drop(2) :: control(red) & columnempty(2) ==> cell(2,1,red) drop(2) :: control(black) & columnempty(2) ==> cell(2,1,black) drop(3) :: control(red) & columnempty(3) ==> cell(3,1,red) drop(3) :: control(black) & columnempty(3) ==> cell(3,1,black) drop(4) :: control(red) & columnempty(4) ==> cell(4,1,red) drop(4) :: control(black) & columnempty(4) ==> cell(4,1,black) drop(5) :: control(red) & columnempty(5) ==> cell(5,1,red) drop(5) :: control(black) & columnempty(5) ==> cell(5,1,black) drop(6) :: control(red) & columnempty(6) ==> cell(6,1,red) drop(6) :: control(black) & columnempty(6) ==> cell(6,1,black) drop(7) :: control(red) & columnempty(7) ==> cell(7,1,red) drop(7) :: control(black) & columnempty(7) ==> cell(7,1,black) drop(8) :: control(red) & columnempty(8) ==> cell(8,1,red) drop(8) :: control(black) & columnempty(8) ==> cell(8,1,black) drop(1) :: control(red) & cellopen(1,2) & ~cellopen(1,1) ==> cell(1,2,red) drop(1) :: control(red) & cellopen(1,3) & ~cellopen(1,2) ==> cell(1,3,red) drop(1) :: control(red) & cellopen(1,4) & ~cellopen(1,3) ==> cell(1,4,red) drop(1) :: control(red) & cellopen(1,5) & ~cellopen(1,4) ==> cell(1,5,red) drop(1) :: control(red) & cellopen(1,6) & ~cellopen(1,5) ==> cell(1,6,red) drop(1) :: control(black) & cellopen(1,2) & ~cellopen(1,1) ==> cell(1,2,black) drop(1) :: control(black) & cellopen(1,3) & ~cellopen(1,2) ==> cell(1,3,black) drop(1) :: control(black) & cellopen(1,4) & ~cellopen(1,3) ==> cell(1,4,black) drop(1) :: control(black) & cellopen(1,5) & ~cellopen(1,4) ==> cell(1,5,black) drop(1) :: control(black) & cellopen(1,6) & ~cellopen(1,5) ==> cell(1,6,black) drop(2) :: control(red) & cellopen(2,2) & ~cellopen(2,1) ==> cell(2,2,red) drop(2) :: control(red) & cellopen(2,3) & ~cellopen(2,2) ==> cell(2,3,red) drop(2) :: control(red) & cellopen(2,4) & ~cellopen(2,3) ==> cell(2,4,red) drop(2) :: control(red) & cellopen(2,5) & ~cellopen(2,4) ==> cell(2,5,red) drop(2) :: control(red) & cellopen(2,6) & ~cellopen(2,5) ==> cell(2,6,red) drop(2) :: control(black) & cellopen(2,2) & ~cellopen(2,1) ==> cell(2,2,black) drop(2) :: control(black) & cellopen(2,3) & ~cellopen(2,2) ==> cell(2,3,black) drop(2) :: control(black) & cellopen(2,4) & ~cellopen(2,3) ==> cell(2,4,black) drop(2) :: control(black) & cellopen(2,5) & ~cellopen(2,4) ==> cell(2,5,black) drop(2) :: control(black) & cellopen(2,6) & ~cellopen(2,5) ==> cell(2,6,black) drop(3) :: control(red) & cellopen(3,2) & ~cellopen(3,1) ==> cell(3,2,red) drop(3) :: control(red) & cellopen(3,3) & ~cellopen(3,2) ==> cell(3,3,red) drop(3) :: control(red) & cellopen(3,4) & ~cellopen(3,3) ==> cell(3,4,red) drop(3) :: control(red) & cellopen(3,5) & ~cellopen(3,4) ==> cell(3,5,red) drop(3) :: control(red) & cellopen(3,6) & ~cellopen(3,5) ==> cell(3,6,red) drop(3) :: control(black) & cellopen(3,2) & ~cellopen(3,1) ==> cell(3,2,black) drop(3) :: control(black) & cellopen(3,3) & ~cellopen(3,2) ==> cell(3,3,black) drop(3) :: control(black) & cellopen(3,4) & ~cellopen(3,3) ==> cell(3,4,black) drop(3) :: control(black) & cellopen(3,5) & ~cellopen(3,4) ==> cell(3,5,black) drop(3) :: control(black) & cellopen(3,6) & ~cellopen(3,5) ==> cell(3,6,black) drop(4) :: control(red) & cellopen(4,2) & ~cellopen(4,1) ==> cell(4,2,red) drop(4) :: control(red) & cellopen(4,3) & ~cellopen(4,2) ==> cell(4,3,red) drop(4) :: control(red) & cellopen(4,4) & ~cellopen(4,3) ==> cell(4,4,red) drop(4) :: control(red) & cellopen(4,5) & ~cellopen(4,4) ==> cell(4,5,red) drop(4) :: control(red) & cellopen(4,6) & ~cellopen(4,5) ==> cell(4,6,red) drop(4) :: control(black) & cellopen(4,2) & ~cellopen(4,1) ==> cell(4,2,black) drop(4) :: control(black) & cellopen(4,3) & ~cellopen(4,2) ==> cell(4,3,black) drop(4) :: control(black) & cellopen(4,4) & ~cellopen(4,3) ==> cell(4,4,black) drop(4) :: control(black) & cellopen(4,5) & ~cellopen(4,4) ==> cell(4,5,black) drop(4) :: control(black) & cellopen(4,6) & ~cellopen(4,5) ==> cell(4,6,black) drop(5) :: control(red) & cellopen(5,2) & ~cellopen(5,1) ==> cell(5,2,red) drop(5) :: control(red) & cellopen(5,3) & ~cellopen(5,2) ==> cell(5,3,red) drop(5) :: control(red) & cellopen(5,4) & ~cellopen(5,3) ==> cell(5,4,red) drop(5) :: control(red) & cellopen(5,5) & ~cellopen(5,4) ==> cell(5,5,red) drop(5) :: control(red) & cellopen(5,6) & ~cellopen(5,5) ==> cell(5,6,red) drop(5) :: control(black) & cellopen(5,2) & ~cellopen(5,1) ==> cell(5,2,black) drop(5) :: control(black) & cellopen(5,3) & ~cellopen(5,2) ==> cell(5,3,black) drop(5) :: control(black) & cellopen(5,4) & ~cellopen(5,3) ==> cell(5,4,black) drop(5) :: control(black) & cellopen(5,5) & ~cellopen(5,4) ==> cell(5,5,black) drop(5) :: control(black) & cellopen(5,6) & ~cellopen(5,5) ==> cell(5,6,black) drop(6) :: control(red) & cellopen(6,2) & ~cellopen(6,1) ==> cell(6,2,red) drop(6) :: control(red) & cellopen(6,3) & ~cellopen(6,2) ==> cell(6,3,red) drop(6) :: control(red) & cellopen(6,4) & ~cellopen(6,3) ==> cell(6,4,red) drop(6) :: control(red) & cellopen(6,5) & ~cellopen(6,4) ==> cell(6,5,red) drop(6) :: control(red) & cellopen(6,6) & ~cellopen(6,5) ==> cell(6,6,red) drop(6) :: control(black) & cellopen(6,2) & ~cellopen(6,1) ==> cell(6,2,black) drop(6) :: control(black) & cellopen(6,3) & ~cellopen(6,2) ==> cell(6,3,black) drop(6) :: control(black) & cellopen(6,4) & ~cellopen(6,3) ==> cell(6,4,black) drop(6) :: control(black) & cellopen(6,5) & ~cellopen(6,4) ==> cell(6,5,black) drop(6) :: control(black) & cellopen(6,6) & ~cellopen(6,5) ==> cell(6,6,black) drop(7) :: control(red) & cellopen(7,2) & ~cellopen(7,1) ==> cell(7,2,red) drop(7) :: control(red) & cellopen(7,3) & ~cellopen(7,2) ==> cell(7,3,red) drop(7) :: control(red) & cellopen(7,4) & ~cellopen(7,3) ==> cell(7,4,red) drop(7) :: control(red) & cellopen(7,5) & ~cellopen(7,4) ==> cell(7,5,red) drop(7) :: control(red) & cellopen(7,6) & ~cellopen(7,5) ==> cell(7,6,red) drop(7) :: control(black) & cellopen(7,2) & ~cellopen(7,1) ==> cell(7,2,black) drop(7) :: control(black) & cellopen(7,3) & ~cellopen(7,2) ==> cell(7,3,black) drop(7) :: control(black) & cellopen(7,4) & ~cellopen(7,3) ==> cell(7,4,black) drop(7) :: control(black) & cellopen(7,5) & ~cellopen(7,4) ==> cell(7,5,black) drop(7) :: control(black) & cellopen(7,6) & ~cellopen(7,5) ==> cell(7,6,black) drop(8) :: control(red) & cellopen(8,2) & ~cellopen(8,1) ==> cell(8,2,red) drop(8) :: control(red) & cellopen(8,3) & ~cellopen(8,2) ==> cell(8,3,red) drop(8) :: control(red) & cellopen(8,4) & ~cellopen(8,3) ==> cell(8,4,red) drop(8) :: control(red) & cellopen(8,5) & ~cellopen(8,4) ==> cell(8,5,red) drop(8) :: control(red) & cellopen(8,6) & ~cellopen(8,5) ==> cell(8,6,red) drop(8) :: control(black) & cellopen(8,2) & ~cellopen(8,1) ==> cell(8,2,black) drop(8) :: control(black) & cellopen(8,3) & ~cellopen(8,2) ==> cell(8,3,black) drop(8) :: control(black) & cellopen(8,4) & ~cellopen(8,3) ==> cell(8,4,black) drop(8) :: control(black) & cellopen(8,5) & ~cellopen(8,4) ==> cell(8,5,black) drop(8) :: control(black) & cellopen(8,6) & ~cellopen(8,5) ==> cell(8,6,black) drop(1) :: control(red) ==> ~control(red) & control(black) drop(2) :: control(red) ==> ~control(red) & control(black) drop(3) :: control(red) ==> ~control(red) & control(black) drop(4) :: control(red) ==> ~control(red) & control(black) drop(5) :: control(red) ==> ~control(red) & control(black) drop(6) :: control(red) ==> ~control(red) & control(black) drop(7) :: control(red) ==> ~control(red) & control(black) drop(8) :: control(red) ==> ~control(red) & control(black) drop(1) :: control(black) ==> ~control(black) & control(red) drop(2) :: control(black) ==> ~control(black) & control(red) drop(3) :: control(black) ==> ~control(black) & control(red) drop(4) :: control(black) ==> ~control(black) & control(red) drop(5) :: control(black) ==> ~control(black) & control(red) drop(6) :: control(black) ==> ~control(black) & control(red) drop(7) :: control(black) ==> ~control(black) & control(red) drop(8) :: control(black) ==> ~control(black) & control(red) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(red,100) :- line(red) goal(red,50) :- ~line(red) & ~line(black) & ~boardopen goal(red,0) :- line(black) goal(red,0) :- ~line(red) & ~line(black) & boardopen goal(black,100) :- line(black) goal(black,50) :- ~line(red) & ~line(black) & ~boardopen goal(black,0) :- line(red) goal(black,0) :- ~line(red) & ~line(black) & boardopen %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- line(red) terminal :- line(black) terminal :- ~boardopen cellopen(1,1) :- ~cell(1,1,red) & ~cell(1,1,black) cellopen(1,2) :- ~cell(1,2,red) & ~cell(1,2,black) cellopen(1,3) :- ~cell(1,3,red) & ~cell(1,3,black) cellopen(1,4) :- ~cell(1,4,red) & ~cell(1,4,black) cellopen(1,5) :- ~cell(1,5,red) & ~cell(1,5,black) cellopen(1,6) :- ~cell(1,6,red) & ~cell(1,6,black) cellopen(2,1) :- ~cell(2,1,red) & ~cell(2,1,black) cellopen(2,2) :- ~cell(2,2,red) & ~cell(2,2,black) cellopen(2,3) :- ~cell(2,3,red) & ~cell(2,3,black) cellopen(2,4) :- ~cell(2,4,red) & ~cell(2,4,black) cellopen(2,5) :- ~cell(2,5,red) & ~cell(2,5,black) cellopen(2,6) :- ~cell(2,6,red) & ~cell(2,6,black) cellopen(3,1) :- ~cell(3,1,red) & ~cell(3,1,black) cellopen(3,2) :- ~cell(3,2,red) & ~cell(3,2,black) cellopen(3,3) :- ~cell(3,3,red) & ~cell(3,3,black) cellopen(3,4) :- ~cell(3,4,red) & ~cell(3,4,black) cellopen(3,5) :- ~cell(3,5,red) & ~cell(3,5,black) cellopen(3,6) :- ~cell(3,6,red) & ~cell(3,6,black) cellopen(4,1) :- ~cell(4,1,red) & ~cell(4,1,black) cellopen(4,2) :- ~cell(4,2,red) & ~cell(4,2,black) cellopen(4,3) :- ~cell(4,3,red) & ~cell(4,3,black) cellopen(4,4) :- ~cell(4,4,red) & ~cell(4,4,black) cellopen(4,5) :- ~cell(4,5,red) & ~cell(4,5,black) cellopen(4,6) :- ~cell(4,6,red) & ~cell(4,6,black) cellopen(5,1) :- ~cell(5,1,red) & ~cell(5,1,black) cellopen(5,2) :- ~cell(5,2,red) & ~cell(5,2,black) cellopen(5,3) :- ~cell(5,3,red) & ~cell(5,3,black) cellopen(5,4) :- ~cell(5,4,red) & ~cell(5,4,black) cellopen(5,5) :- ~cell(5,5,red) & ~cell(5,5,black) cellopen(5,6) :- ~cell(5,6,red) & ~cell(5,6,black) cellopen(6,1) :- ~cell(6,1,red) & ~cell(6,1,black) cellopen(6,2) :- ~cell(6,2,red) & ~cell(6,2,black) cellopen(6,3) :- ~cell(6,3,red) & ~cell(6,3,black) cellopen(6,4) :- ~cell(6,4,red) & ~cell(6,4,black) cellopen(6,5) :- ~cell(6,5,red) & ~cell(6,5,black) cellopen(6,6) :- ~cell(6,6,red) & ~cell(6,6,black) cellopen(7,1) :- ~cell(7,1,red) & ~cell(7,1,black) cellopen(7,2) :- ~cell(7,2,red) & ~cell(7,2,black) cellopen(7,3) :- ~cell(7,3,red) & ~cell(7,3,black) cellopen(7,4) :- ~cell(7,4,red) & ~cell(7,4,black) cellopen(7,5) :- ~cell(7,5,red) & ~cell(7,5,black) cellopen(7,6) :- ~cell(7,6,red) & ~cell(7,6,black) cellopen(8,1) :- ~cell(8,1,red) & ~cell(8,1,black) cellopen(8,2) :- ~cell(8,2,red) & ~cell(8,2,black) cellopen(8,3) :- ~cell(8,3,red) & ~cell(8,3,black) cellopen(8,4) :- ~cell(8,4,red) & ~cell(8,4,black) cellopen(8,5) :- ~cell(8,5,red) & ~cell(8,5,black) cellopen(8,6) :- ~cell(8,6,red) & ~cell(8,6,black) columnopen(1) :- cellopen(1,6) columnopen(2) :- cellopen(2,6) columnopen(3) :- cellopen(3,6) columnopen(4) :- cellopen(4,6) columnopen(5) :- cellopen(5,6) columnopen(6) :- cellopen(6,6) columnopen(7) :- cellopen(7,6) columnopen(8) :- cellopen(8,6) columnempty(1) :- cellopen(1,1) columnempty(2) :- cellopen(2,1) columnempty(3) :- cellopen(3,1) columnempty(4) :- cellopen(4,1) columnempty(5) :- cellopen(5,1) columnempty(6) :- cellopen(6,1) columnempty(7) :- cellopen(7,1) columnempty(8) :- cellopen(8,1) boardopen :- columnopen(1) boardopen :- columnopen(2) boardopen :- columnopen(3) boardopen :- columnopen(4) boardopen :- columnopen(5) boardopen :- columnopen(6) boardopen :- columnopen(7) boardopen :- columnopen(8) line(red) :- cell(1,1,red) & cell(2,1,red) & cell(3,1,red) & cell(4,1,red) line(black) :- cell(1,1,black) & cell(2,1,black) & cell(3,1,black) & cell(4,1,black) line(red) :- cell(1,2,red) & cell(2,2,red) & cell(3,2,red) & cell(4,2,red) line(black) :- cell(1,2,black) & cell(2,2,black) & cell(3,2,black) & cell(4,2,black) line(red) :- cell(1,3,red) & cell(2,3,red) & cell(3,3,red) & cell(4,3,red) line(black) :- cell(1,3,black) & cell(2,3,black) & cell(3,3,black) & cell(4,3,black) line(red) :- cell(1,4,red) & cell(2,4,red) & cell(3,4,red) & cell(4,4,red) line(black) :- cell(1,4,black) & cell(2,4,black) & cell(3,4,black) & cell(4,4,black) line(red) :- cell(1,5,red) & cell(2,5,red) & cell(3,5,red) & cell(4,5,red) line(black) :- cell(1,5,black) & cell(2,5,black) & cell(3,5,black) & cell(4,5,black) line(red) :- cell(1,6,red) & cell(2,6,red) & cell(3,6,red) & cell(4,6,red) line(black) :- cell(1,6,black) & cell(2,6,black) & cell(3,6,black) & cell(4,6,black) line(red) :- cell(2,1,red) & cell(3,1,red) & cell(4,1,red) & cell(5,1,red) line(black) :- cell(2,1,black) & cell(3,1,black) & cell(4,1,black) & cell(5,1,black) line(red) :- cell(2,2,red) & cell(3,2,red) & cell(4,2,red) & cell(5,2,red) line(black) :- cell(2,2,black) & cell(3,2,black) & cell(4,2,black) & cell(5,2,black) line(red) :- cell(2,3,red) & cell(3,3,red) & cell(4,3,red) & cell(5,3,red) line(black) :- cell(2,3,black) & cell(3,3,black) & cell(4,3,black) & cell(5,3,black) line(red) :- cell(2,4,red) & cell(3,4,red) & cell(4,4,red) & cell(5,4,red) line(black) :- cell(2,4,black) & cell(3,4,black) & cell(4,4,black) & cell(5,4,black) line(red) :- cell(2,5,red) & cell(3,5,red) & cell(4,5,red) & cell(5,5,red) line(black) :- cell(2,5,black) & cell(3,5,black) & cell(4,5,black) & cell(5,5,black) line(red) :- cell(2,6,red) & cell(3,6,red) & cell(4,6,red) & cell(5,6,red) line(black) :- cell(2,6,black) & cell(3,6,black) & cell(4,6,black) & cell(5,6,black) line(red) :- cell(3,1,red) & cell(4,1,red) & cell(5,1,red) & cell(6,1,red) line(black) :- cell(3,1,black) & cell(4,1,black) & cell(5,1,black) & cell(6,1,black) line(red) :- cell(3,2,red) & cell(4,2,red) & cell(5,2,red) & cell(6,2,red) line(black) :- cell(3,2,black) & cell(4,2,black) & cell(5,2,black) & cell(6,2,black) line(red) :- cell(3,3,red) & cell(4,3,red) & cell(5,3,red) & cell(6,3,red) line(black) :- cell(3,3,black) & cell(4,3,black) & cell(5,3,black) & cell(6,3,black) line(red) :- cell(3,4,red) & cell(4,4,red) & cell(5,4,red) & cell(6,4,red) line(black) :- cell(3,4,black) & cell(4,4,black) & cell(5,4,black) & cell(6,4,black) line(red) :- cell(3,5,red) & cell(4,5,red) & cell(5,5,red) & cell(6,5,red) line(black) :- cell(3,5,black) & cell(4,5,black) & cell(5,5,black) & cell(6,5,black) line(red) :- cell(3,6,red) & cell(4,6,red) & cell(5,6,red) & cell(6,6,red) line(black) :- cell(3,6,black) & cell(4,6,black) & cell(5,6,black) & cell(6,6,black) line(red) :- cell(4,1,red) & cell(5,1,red) & cell(6,1,red) & cell(7,1,red) line(black) :- cell(4,1,black) & cell(5,1,black) & cell(6,1,black) & cell(7,1,black) line(red) :- cell(4,2,red) & cell(5,2,red) & cell(6,2,red) & cell(7,2,red) line(black) :- cell(4,2,black) & cell(5,2,black) & cell(6,2,black) & cell(7,2,black) line(red) :- cell(4,3,red) & cell(5,3,red) & cell(6,3,red) & cell(7,3,red) line(black) :- cell(4,3,black) & cell(5,3,black) & cell(6,3,black) & cell(7,3,black) line(red) :- cell(4,4,red) & cell(5,4,red) & cell(6,4,red) & cell(7,4,red) line(black) :- cell(4,4,black) & cell(5,4,black) & cell(6,4,black) & cell(7,4,black) line(red) :- cell(4,5,red) & cell(5,5,red) & cell(6,5,red) & cell(7,5,red) line(black) :- cell(4,5,black) & cell(5,5,black) & cell(6,5,black) & cell(7,5,black) line(red) :- cell(4,6,red) & cell(5,6,red) & cell(6,6,red) & cell(7,6,red) line(black) :- cell(4,6,black) & cell(5,6,black) & cell(6,6,black) & cell(7,6,black) line(red) :- cell(5,1,red) & cell(6,1,red) & cell(7,1,red) & cell(8,1,red) line(black) :- cell(5,1,black) & cell(6,1,black) & cell(7,1,black) & cell(8,1,black) line(red) :- cell(5,2,red) & cell(6,2,red) & cell(7,2,red) & cell(8,2,red) line(black) :- cell(5,2,black) & cell(6,2,black) & cell(7,2,black) & cell(8,2,black) line(red) :- cell(5,3,red) & cell(6,3,red) & cell(7,3,red) & cell(8,3,red) line(black) :- cell(5,3,black) & cell(6,3,black) & cell(7,3,black) & cell(8,3,black) line(red) :- cell(5,4,red) & cell(6,4,red) & cell(7,4,red) & cell(8,4,red) line(black) :- cell(5,4,black) & cell(6,4,black) & cell(7,4,black) & cell(8,4,black) line(red) :- cell(5,5,red) & cell(6,5,red) & cell(7,5,red) & cell(8,5,red) line(black) :- cell(5,5,black) & cell(6,5,black) & cell(7,5,black) & cell(8,5,black) line(red) :- cell(5,6,red) & cell(6,6,red) & cell(7,6,red) & cell(8,6,red) line(black) :- cell(5,6,black) & cell(6,6,black) & cell(7,6,black) & cell(8,6,black) line(red) :- cell(1,1,red) & cell(1,2,red) & cell(1,3,red) & cell(1,4,red) line(black) :- cell(1,1,black) & cell(1,2,black) & cell(1,3,black) & cell(1,4,black) line(red) :- cell(1,2,red) & cell(1,3,red) & cell(1,4,red) & cell(1,5,red) line(black) :- cell(1,2,black) & cell(1,3,black) & cell(1,4,black) & cell(1,5,black) line(red) :- cell(1,3,red) & cell(1,4,red) & cell(1,5,red) & cell(1,6,red) line(black) :- cell(1,3,black) & cell(1,4,black) & cell(1,5,black) & cell(1,6,black) line(red) :- cell(2,1,red) & cell(2,2,red) & cell(2,3,red) & cell(2,4,red) line(black) :- cell(2,1,black) & cell(2,2,black) & cell(2,3,black) & cell(2,4,black) line(red) :- cell(2,2,red) & cell(2,3,red) & cell(2,4,red) & cell(2,5,red) line(black) :- cell(2,2,black) & cell(2,3,black) & cell(2,4,black) & cell(2,5,black) line(red) :- cell(2,3,red) & cell(2,4,red) & cell(2,5,red) & cell(2,6,red) line(black) :- cell(2,3,black) & cell(2,4,black) & cell(2,5,black) & cell(2,6,black) line(red) :- cell(3,1,red) & cell(3,2,red) & cell(3,3,red) & cell(3,4,red) line(black) :- cell(3,1,black) & cell(3,2,black) & cell(3,3,black) & cell(3,4,black) line(red) :- cell(3,2,red) & cell(3,3,red) & cell(3,4,red) & cell(3,5,red) line(black) :- cell(3,2,black) & cell(3,3,black) & cell(3,4,black) & cell(3,5,black) line(red) :- cell(3,3,red) & cell(3,4,red) & cell(3,5,red) & cell(3,6,red) line(black) :- cell(3,3,black) & cell(3,4,black) & cell(3,5,black) & cell(3,6,black) line(red) :- cell(4,1,red) & cell(4,2,red) & cell(4,3,red) & cell(4,4,red) line(black) :- cell(4,1,black) & cell(4,2,black) & cell(4,3,black) & cell(4,4,black) line(red) :- cell(4,2,red) & cell(4,3,red) & cell(4,4,red) & cell(4,5,red) line(black) :- cell(4,2,black) & cell(4,3,black) & cell(4,4,black) & cell(4,5,black) line(red) :- cell(4,3,red) & cell(4,4,red) & cell(4,5,red) & cell(4,6,red) line(black) :- cell(4,3,black) & cell(4,4,black) & cell(4,5,black) & cell(4,6,black) line(red) :- cell(5,1,red) & cell(5,2,red) & cell(5,3,red) & cell(5,4,red) line(black) :- cell(5,1,black) & cell(5,2,black) & cell(5,3,black) & cell(5,4,black) line(red) :- cell(5,2,red) & cell(5,3,red) & cell(5,4,red) & cell(5,5,red) line(black) :- cell(5,2,black) & cell(5,3,black) & cell(5,4,black) & cell(5,5,black) line(red) :- cell(5,3,red) & cell(5,4,red) & cell(5,5,red) & cell(5,6,red) line(black) :- cell(5,3,black) & cell(5,4,black) & cell(5,5,black) & cell(5,6,black) line(red) :- cell(6,1,red) & cell(6,2,red) & cell(6,3,red) & cell(6,4,red) line(black) :- cell(6,1,black) & cell(6,2,black) & cell(6,3,black) & cell(6,4,black) line(red) :- cell(6,2,red) & cell(6,3,red) & cell(6,4,red) & cell(6,5,red) line(black) :- cell(6,2,black) & cell(6,3,black) & cell(6,4,black) & cell(6,5,black) line(red) :- cell(6,3,red) & cell(6,4,red) & cell(6,5,red) & cell(6,6,red) line(black) :- cell(6,3,black) & cell(6,4,black) & cell(6,5,black) & cell(6,6,black) line(red) :- cell(7,1,red) & cell(7,2,red) & cell(7,3,red) & cell(7,4,red) line(black) :- cell(7,1,black) & cell(7,2,black) & cell(7,3,black) & cell(7,4,black) line(red) :- cell(7,2,red) & cell(7,3,red) & cell(7,4,red) & cell(7,5,red) line(black) :- cell(7,2,black) & cell(7,3,black) & cell(7,4,black) & cell(7,5,black) line(red) :- cell(7,3,red) & cell(7,4,red) & cell(7,5,red) & cell(7,6,red) line(black) :- cell(7,3,black) & cell(7,4,black) & cell(7,5,black) & cell(7,6,black) line(red) :- cell(8,1,red) & cell(8,2,red) & cell(8,3,red) & cell(8,4,red) line(black) :- cell(8,1,black) & cell(8,2,black) & cell(8,3,black) & cell(8,4,black) line(red) :- cell(8,2,red) & cell(8,3,red) & cell(8,4,red) & cell(8,5,red) line(black) :- cell(8,2,black) & cell(8,3,black) & cell(8,4,black) & cell(8,5,black) line(red) :- cell(8,3,red) & cell(8,4,red) & cell(8,5,red) & cell(8,6,red) line(black) :- cell(8,3,black) & cell(8,4,black) & cell(8,5,black) & cell(8,6,black) line(red) :- cell(1,1,red) & cell(2,2,red) & cell(3,3,red) & cell(4,4,red) line(black) :- cell(1,1,black) & cell(2,2,black) & cell(3,3,black) & cell(4,4,black) line(red) :- cell(1,2,red) & cell(2,3,red) & cell(3,4,red) & cell(4,5,red) line(black) :- cell(1,2,black) & cell(2,3,black) & cell(3,4,black) & cell(4,5,black) line(red) :- cell(1,3,red) & cell(2,4,red) & cell(3,5,red) & cell(4,6,red) line(black) :- cell(1,3,black) & cell(2,4,black) & cell(3,5,black) & cell(4,6,black) line(red) :- cell(2,1,red) & cell(3,2,red) & cell(4,3,red) & cell(5,4,red) line(black) :- cell(2,1,black) & cell(3,2,black) & cell(4,3,black) & cell(5,4,black) line(red) :- cell(2,2,red) & cell(3,3,red) & cell(4,4,red) & cell(5,5,red) line(black) :- cell(2,2,black) & cell(3,3,black) & cell(4,4,black) & cell(5,5,black) line(red) :- cell(2,3,red) & cell(3,4,red) & cell(4,5,red) & cell(5,6,red) line(black) :- cell(2,3,black) & cell(3,4,black) & cell(4,5,black) & cell(5,6,black) line(red) :- cell(3,1,red) & cell(4,2,red) & cell(5,3,red) & cell(6,4,red) line(black) :- cell(3,1,black) & cell(4,2,black) & cell(5,3,black) & cell(6,4,black) line(red) :- cell(3,2,red) & cell(4,3,red) & cell(5,4,red) & cell(6,5,red) line(black) :- cell(3,2,black) & cell(4,3,black) & cell(5,4,black) & cell(6,5,black) line(red) :- cell(3,3,red) & cell(4,4,red) & cell(5,5,red) & cell(6,6,red) line(black) :- cell(3,3,black) & cell(4,4,black) & cell(5,5,black) & cell(6,6,black) line(red) :- cell(4,1,red) & cell(5,2,red) & cell(6,3,red) & cell(7,4,red) line(black) :- cell(4,1,black) & cell(5,2,black) & cell(6,3,black) & cell(7,4,black) line(red) :- cell(4,2,red) & cell(5,3,red) & cell(6,4,red) & cell(7,5,red) line(black) :- cell(4,2,black) & cell(5,3,black) & cell(6,4,black) & cell(7,5,black) line(red) :- cell(4,3,red) & cell(5,4,red) & cell(6,5,red) & cell(7,6,red) line(black) :- cell(4,3,black) & cell(5,4,black) & cell(6,5,black) & cell(7,6,black) line(red) :- cell(5,1,red) & cell(6,2,red) & cell(7,3,red) & cell(8,4,red) line(black) :- cell(5,1,black) & cell(6,2,black) & cell(7,3,black) & cell(8,4,black) line(red) :- cell(5,2,red) & cell(6,3,red) & cell(7,4,red) & cell(8,5,red) line(black) :- cell(5,2,black) & cell(6,3,black) & cell(7,4,black) & cell(8,5,black) line(red) :- cell(5,3,red) & cell(6,4,red) & cell(7,5,red) & cell(8,6,red) line(black) :- cell(5,3,black) & cell(6,4,black) & cell(7,5,black) & cell(8,6,black) line(red) :- cell(1,4,red) & cell(2,3,red) & cell(3,2,red) & cell(4,1,red) line(black) :- cell(1,4,black) & cell(2,3,black) & cell(3,2,black) & cell(4,1,black) line(red) :- cell(1,5,red) & cell(2,4,red) & cell(3,3,red) & cell(4,2,red) line(black) :- cell(1,5,black) & cell(2,4,black) & cell(3,3,black) & cell(4,2,black) line(red) :- cell(1,6,red) & cell(2,5,red) & cell(3,4,red) & cell(4,3,red) line(black) :- cell(1,6,black) & cell(2,5,black) & cell(3,4,black) & cell(4,3,black) line(red) :- cell(2,4,red) & cell(3,3,red) & cell(4,2,red) & cell(5,1,red) line(black) :- cell(2,4,black) & cell(3,3,black) & cell(4,2,black) & cell(5,1,black) line(red) :- cell(2,5,red) & cell(3,4,red) & cell(4,3,red) & cell(5,2,red) line(black) :- cell(2,5,black) & cell(3,4,black) & cell(4,3,black) & cell(5,2,black) line(red) :- cell(2,6,red) & cell(3,5,red) & cell(4,4,red) & cell(5,3,red) line(black) :- cell(2,6,black) & cell(3,5,black) & cell(4,4,black) & cell(5,3,black) line(red) :- cell(3,4,red) & cell(4,3,red) & cell(5,2,red) & cell(6,1,red) line(black) :- cell(3,4,black) & cell(4,3,black) & cell(5,2,black) & cell(6,1,black) line(red) :- cell(3,5,red) & cell(4,4,red) & cell(5,3,red) & cell(6,2,red) line(black) :- cell(3,5,black) & cell(4,4,black) & cell(5,3,black) & cell(6,2,black) line(red) :- cell(3,6,red) & cell(4,5,red) & cell(5,4,red) & cell(6,3,red) line(black) :- cell(3,6,black) & cell(4,5,black) & cell(5,4,black) & cell(6,3,black) line(red) :- cell(4,4,red) & cell(5,3,red) & cell(6,2,red) & cell(7,1,red) line(black) :- cell(4,4,black) & cell(5,3,black) & cell(6,2,black) & cell(7,1,black) line(red) :- cell(4,5,red) & cell(5,4,red) & cell(6,3,red) & cell(7,2,red) line(black) :- cell(4,5,black) & cell(5,4,black) & cell(6,3,black) & cell(7,2,black) line(red) :- cell(4,6,red) & cell(5,5,red) & cell(6,4,red) & cell(7,3,red) line(black) :- cell(4,6,black) & cell(5,5,black) & cell(6,4,black) & cell(7,3,black) line(red) :- cell(5,4,red) & cell(6,3,red) & cell(7,2,red) & cell(8,1,red) line(black) :- cell(5,4,black) & cell(6,3,black) & cell(7,2,black) & cell(8,1,black) line(red) :- cell(5,5,red) & cell(6,4,red) & cell(7,3,red) & cell(8,2,red) line(black) :- cell(5,5,black) & cell(6,4,black) & cell(7,3,black) & cell(8,2,black) line(red) :- cell(5,6,red) & cell(6,5,red) & cell(7,4,red) & cell(8,3,red) line(black) :- cell(5,6,black) & cell(6,5,black) & cell(7,4,black) & cell(8,3,black) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Data %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% succ(1,2) succ(2,3) succ(3,4) succ(4,5) succ(5,6) succ(6,7) succ(7,8) column(1) column(2) column(3) column(4) column(5) column(6) column(7) column(8) height(1) height(2) height(3) height(4) height(5) height(6) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%