Gamemaster General Game Playing Protocol: tester Player: minimaxdepthground Depth: 7 Game: tictactoeground %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% tictactoeground %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(x) role(o) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(cell(1,1,x)) init(cell(1,2,b)) init(cell(1,3,b)) init(cell(2,1,b)) init(cell(2,2,o)) init(cell(2,3,b)) init(cell(3,1,b)) init(cell(3,2,b)) init(cell(3,3,b)) init(control(x)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(mark(1,1)) :- cell(1,1,b) legal(mark(1,2)) :- cell(1,2,b) legal(mark(1,3)) :- cell(1,3,b) legal(mark(2,1)) :- cell(2,1,b) legal(mark(2,2)) :- cell(2,2,b) legal(mark(2,3)) :- cell(2,3,b) legal(mark(3,1)) :- cell(3,1,b) legal(mark(3,2)) :- cell(3,2,b) legal(mark(3,3)) :- cell(3,3,b) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% mark(1,1) :: control(x) ==> cell(1,1,x) & ~cell(1,1,b) mark(1,1) :: control(o) ==> cell(1,1,o) & ~cell(1,1,b) mark(1,2) :: control(x) ==> cell(1,2,x) & ~cell(1,2,b) mark(1,2) :: control(o) ==> cell(1,2,o) & ~cell(1,2,b) mark(1,3) :: control(x) ==> cell(1,3,x) & ~cell(1,3,b) mark(1,3) :: control(o) ==> cell(1,3,o) & ~cell(1,3,b) mark(2,1) :: control(x) ==> cell(2,1,x) & ~cell(2,1,b) mark(2,1) :: control(o) ==> cell(2,1,o) & ~cell(2,1,b) mark(2,2) :: control(x) ==> cell(2,2,x) & ~cell(2,2,b) mark(2,2) :: control(o) ==> cell(2,2,o) & ~cell(2,2,b) mark(2,3) :: control(x) ==> cell(2,3,x) & ~cell(2,3,b) mark(2,3) :: control(o) ==> cell(2,3,o) & ~cell(2,3,b) mark(3,1) :: control(x) ==> cell(3,1,x) & ~cell(3,1,b) mark(3,1) :: control(o) ==> cell(3,1,o) & ~cell(3,1,b) mark(3,2) :: control(x) ==> cell(3,2,x) & ~cell(3,2,b) mark(3,2) :: control(o) ==> cell(3,2,o) & ~cell(3,2,b) mark(3,3) :: control(x) ==> cell(3,3,x) & ~cell(3,3,b) mark(3,3) :: control(o) ==> cell(3,3,o) & ~cell(3,3,b) mark(1,1) :: control(x) ==> ~control(x) & control(o) mark(1,2) :: control(x) ==> ~control(x) & control(o) mark(1,3) :: control(x) ==> ~control(x) & control(o) mark(2,1) :: control(x) ==> ~control(x) & control(o) mark(2,2) :: control(x) ==> ~control(x) & control(o) mark(2,3) :: control(x) ==> ~control(x) & control(o) mark(3,1) :: control(x) ==> ~control(x) & control(o) mark(3,2) :: control(x) ==> ~control(x) & control(o) mark(3,3) :: control(x) ==> ~control(x) & control(o) mark(1,1) :: control(o) ==> ~control(o) & control(x) mark(1,2) :: control(o) ==> ~control(o) & control(x) mark(1,3) :: control(o) ==> ~control(o) & control(x) mark(2,1) :: control(o) ==> ~control(o) & control(x) mark(2,2) :: control(o) ==> ~control(o) & control(x) mark(2,3) :: control(o) ==> ~control(o) & control(x) mark(3,1) :: control(o) ==> ~control(o) & control(x) mark(3,2) :: control(o) ==> ~control(o) & control(x) mark(3,3) :: control(o) ==> ~control(o) & control(x) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(x,100) :- line(x) & ~line(o) goal(x,50) :- line(x) & line(o) goal(x,50) :- ~line(x) & ~line(o) goal(x,0) :- ~line(x) & line(o) goal(o,100) :- ~line(x) & line(o) goal(o,50) :- line(x) & line(o) goal(o,50) :- ~line(x) & ~line(o) goal(o,0) :- line(x) & ~line(o) row(1,x) :- cell(1,1,x) & cell(1,2,x) & cell(1,3,x) row(2,x) :- cell(2,1,x) & cell(2,2,x) & cell(2,3,x) row(3,x) :- cell(3,1,x) & cell(3,2,x) & cell(3,3,x) row(1,o) :- cell(1,1,o) & cell(1,2,o) & cell(1,3,o) row(2,o) :- cell(2,1,o) & cell(2,2,o) & cell(2,3,o) row(3,o) :- cell(3,1,o) & cell(3,2,o) & cell(3,3,o) col(1,x) :- cell(1,1,x) & cell(2,1,x) & cell(3,1,x) col(2,x) :- cell(1,2,x) & cell(2,2,x) & cell(3,2,x) col(3,x) :- cell(1,3,x) & cell(2,3,x) & cell(3,3,x) col(1,o) :- cell(1,1,o) & cell(2,1,o) & cell(3,1,o) col(2,o) :- cell(1,2,o) & cell(2,2,o) & cell(3,2,o) col(3,o) :- cell(1,3,o) & cell(2,3,o) & cell(3,3,o) diag(x) :- cell(1,1,x) & cell(2,2,x) & cell(3,3,x) diag(o) :- cell(1,1,o) & cell(2,2,o) & cell(3,3,o) diag(x) :- cell(1,3,x) & cell(2,2,x) & cell(3,1,x) diag(o) :- cell(1,3,o) & cell(2,2,o) & cell(3,1,o) line(x) :- row(1,x) line(x) :- row(2,x) line(x) :- row(3,x) line(o) :- row(1,o) line(o) :- row(2,o) line(o) :- row(3,o) line(x) :- col(1,x) line(x) :- col(2,x) line(x) :- col(3,x) line(o) :- col(1,o) line(o) :- col(2,o) line(o) :- col(3,o) line(x) :- diag(x) line(o) :- diag(o) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- line(x) terminal :- line(o) terminal :- ~open open :- cell(1,1,b) open :- cell(1,2,b) open :- cell(1,3,b) open :- cell(2,1,b) open :- cell(2,2,b) open :- cell(2,3,b) open :- cell(3,1,b) open :- cell(3,2,b) open :- cell(3,3,b) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%