Gamemaster General Game Playing Protocol: tester Player: minimaxdepthsymbol Depth: 7 Game: tictactoesymbol %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% tictactoesymbol %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(x) role(o) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(cell11x) init(cell12b) init(cell13b) init(cell21b) init(cell22o) init(cell23b) init(cell31b) init(cell32b) init(cell33b) init(controlx) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% control %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% control(x) :- controlx control(o) :- controlo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(mark11) :- cell11b legal(mark12) :- cell12b legal(mark13) :- cell13b legal(mark21) :- cell21b legal(mark22) :- cell22b legal(mark23) :- cell23b legal(mark31) :- cell31b legal(mark32) :- cell32b legal(mark33) :- cell33b %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% mark11 :: controlx ==> cell11x & ~cell11b mark11 :: controlo ==> cell11o & ~cell11b mark12 :: controlx ==> cell12x & ~cell12b mark12 :: controlo ==> cell12o & ~cell12b mark13 :: controlx ==> cell13x & ~cell13b mark13 :: controlo ==> cell13o & ~cell13b mark21 :: controlx ==> cell21x & ~cell21b mark21 :: controlo ==> cell21o & ~cell21b mark22 :: controlx ==> cell22x & ~cell22b mark22 :: controlo ==> cell22o & ~cell22b mark23 :: controlx ==> cell23x & ~cell23b mark23 :: controlo ==> cell23o & ~cell23b mark31 :: controlx ==> cell31x & ~cell31b mark31 :: controlo ==> cell31o & ~cell31b mark32 :: controlx ==> cell32x & ~cell32b mark32 :: controlo ==> cell32o & ~cell32b mark33 :: controlx ==> cell33x & ~cell33b mark33 :: controlo ==> cell33o & ~cell33b mark11 :: controlx ==> ~controlx & controlo mark12 :: controlx ==> ~controlx & controlo mark13 :: controlx ==> ~controlx & controlo mark21 :: controlx ==> ~controlx & controlo mark22 :: controlx ==> ~controlx & controlo mark23 :: controlx ==> ~controlx & controlo mark31 :: controlx ==> ~controlx & controlo mark32 :: controlx ==> ~controlx & controlo mark33 :: controlx ==> ~controlx & controlo mark11 :: controlo ==> ~controlo & controlx mark12 :: controlo ==> ~controlo & controlx mark13 :: controlo ==> ~controlo & controlx mark21 :: controlo ==> ~controlo & controlx mark22 :: controlo ==> ~controlo & controlx mark23 :: controlo ==> ~controlo & controlx mark31 :: controlo ==> ~controlo & controlx mark32 :: controlo ==> ~controlo & controlx mark33 :: controlo ==> ~controlo & controlx %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(x,100) :- linex & ~lineo goal(x,50) :- linex & lineo goal(x,50) :- ~linex & ~lineo goal(x,0) :- ~linex & lineo goal(o,100) :- ~linex & lineo goal(o,50) :- linex & lineo goal(o,50) :- ~linex & ~lineo goal(o,0) :- linex & ~lineo row1x :- cell11x & cell12x & cell13x row2x :- cell21x & cell22x & cell23x row3x :- cell31x & cell32x & cell33x row1o :- cell11o & cell12o & cell13o row2o :- cell21o & cell22o & cell23o row3o :- cell31o & cell32o & cell33o col1x :- cell11x & cell21x & cell31x col2x :- cell12x & cell22x & cell32x col3x :- cell13x & cell23x & cell33x col1o :- cell11o & cell21o & cell31o col2o :- cell12o & cell22o & cell32o col3o :- cell13o & cell23o & cell33o diagx :- cell11x & cell22x & cell33x diago :- cell11o & cell22o & cell33o diagx :- cell13x & cell22x & cell31x diago :- cell13o & cell22o & cell31o linex :- row1x linex :- row2x linex :- row3x lineo :- row1o lineo :- row2o lineo :- row3o linex :- col1x linex :- col2x linex :- col3x lineo :- col1o lineo :- col2o lineo :- col3o linex :- diagx lineo :- diago %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- linex terminal :- lineo terminal :- ~open open :- cell11b open :- cell12b open :- cell13b open :- cell21b open :- cell22b open :- cell23b open :- cell31b open :- cell32b open :- cell33b %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%