Gamemaster General Game Playing Protocol: tester Player: minimaxdepthground Depth: 4 Game: nineboardsuper %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% nineboardtictactoe %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(x) role(o) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(cell1111b) init(cell1112b) init(cell1113b) init(cell1121b) init(cell1122b) init(cell1123b) init(cell1131b) init(cell1132b) init(cell1133b) init(cell1211b) init(cell1212b) init(cell1213b) init(cell1221b) init(cell1222b) init(cell1223b) init(cell1231b) init(cell1232b) init(cell1233b) init(cell1311b) init(cell1312b) init(cell1313b) init(cell1321b) init(cell1322b) init(cell1323b) init(cell1331b) init(cell1332b) init(cell1333b) init(cell2111b) init(cell2112b) init(cell2113b) init(cell2121b) init(cell2122b) init(cell2123b) init(cell2131b) init(cell2132b) init(cell2133b) init(cell2211b) init(cell2212b) init(cell2213b) init(cell2221b) init(cell2222b) init(cell2223b) init(cell2231b) init(cell2232b) init(cell2233b) init(cell2311b) init(cell2312b) init(cell2313b) init(cell2321b) init(cell2322b) init(cell2323b) init(cell2331b) init(cell2332b) init(cell2333b) init(cell3111b) init(cell3112b) init(cell3113b) init(cell3121b) init(cell3122b) init(cell3123b) init(cell3131b) init(cell3132b) init(cell3133b) init(cell3211b) init(cell3212b) init(cell3213b) init(cell3221b) init(cell3222b) init(cell3223b) init(cell3231b) init(cell3232b) init(cell3233b) init(cell3311b) init(cell3312b) init(cell3313b) init(cell3321b) init(cell3322b) init(cell3323b) init(cell3331b) init(cell3332b) init(cell3333b) init(current22) init(controlx) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% control %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% control(x) :- controlx control(o) :- controlo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(mark1111) :- current11 & cell1111b legal(mark1112) :- current11 & cell1112b legal(mark1113) :- current11 & cell1113b legal(mark1121) :- current11 & cell1121b legal(mark1122) :- current11 & cell1122b legal(mark1123) :- current11 & cell1123b legal(mark1131) :- current11 & cell1131b legal(mark1132) :- current11 & cell1132b legal(mark1133) :- current11 & cell1133b legal(mark1211) :- current12 & cell1211b legal(mark1212) :- current12 & cell1212b legal(mark1213) :- current12 & cell1213b legal(mark1221) :- current12 & cell1221b legal(mark1222) :- current12 & cell1222b legal(mark1223) :- current12 & cell1223b legal(mark1231) :- current12 & cell1231b legal(mark1232) :- current12 & cell1232b legal(mark1233) :- current12 & cell1233b legal(mark1311) :- current13 & cell1311b legal(mark1312) :- current13 & cell1312b legal(mark1313) :- current13 & cell1313b legal(mark1321) :- current13 & cell1321b legal(mark1322) :- current13 & cell1322b legal(mark1323) :- current13 & cell1323b legal(mark1331) :- current13 & cell1331b legal(mark1332) :- current13 & cell1332b legal(mark1333) :- current13 & cell1333b legal(mark2111) :- current21 & cell2111b legal(mark2112) :- current21 & cell2112b legal(mark2113) :- current21 & cell2113b legal(mark2121) :- current21 & cell2121b legal(mark2122) :- current21 & cell2122b legal(mark2123) :- current21 & cell2123b legal(mark2131) :- current21 & cell2131b legal(mark2132) :- current21 & cell2132b legal(mark2133) :- current21 & cell2133b legal(mark2211) :- current22 & cell2211b legal(mark2212) :- current22 & cell2212b legal(mark2213) :- current22 & cell2213b legal(mark2221) :- current22 & cell2221b legal(mark2222) :- current22 & cell2222b legal(mark2223) :- current22 & cell2223b legal(mark2231) :- current22 & cell2231b legal(mark2232) :- current22 & cell2232b legal(mark2233) :- current22 & cell2233b legal(mark2311) :- current23 & cell2311b legal(mark2312) :- current23 & cell2312b legal(mark2313) :- current23 & cell2313b legal(mark2321) :- current23 & cell2321b legal(mark2322) :- current23 & cell2322b legal(mark2323) :- current23 & cell2323b legal(mark2331) :- current23 & cell2331b legal(mark2332) :- current23 & cell2332b legal(mark2333) :- current23 & cell2333b legal(mark3111) :- current31 & cell3111b legal(mark3112) :- current31 & cell3112b legal(mark3113) :- current31 & cell3113b legal(mark3121) :- current31 & cell3121b legal(mark3122) :- current31 & cell3122b legal(mark3123) :- current31 & cell3123b legal(mark3131) :- current31 & cell3131b legal(mark3132) :- current31 & cell3132b legal(mark3133) :- current31 & cell3133b legal(mark3211) :- current32 & cell3211b legal(mark3212) :- current32 & cell3212b legal(mark3213) :- current32 & cell3213b legal(mark3221) :- current32 & cell3221b legal(mark3222) :- current32 & cell3222b legal(mark3223) :- current32 & cell3223b legal(mark3231) :- current32 & cell3231b legal(mark3232) :- current32 & cell3232b legal(mark3233) :- current32 & cell3233b legal(mark3311) :- current33 & cell3311b legal(mark3312) :- current33 & cell3312b legal(mark3313) :- current33 & cell3313b legal(mark3321) :- current33 & cell3321b legal(mark3322) :- current33 & cell3322b legal(mark3323) :- current33 & cell3323b legal(mark3331) :- current33 & cell3331b legal(mark3332) :- current33 & cell3332b legal(mark3333) :- current33 & cell3333b %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% mark1111 :: controlx ==> cell1111x & ~cell1111b mark1111 :: controlo ==> cell1111o & ~cell1111b mark1112 :: controlx ==> cell1112x & ~cell1112b mark1112 :: controlo ==> cell1112o & ~cell1112b mark1113 :: controlx ==> cell1113x & ~cell1113b mark1113 :: controlo ==> cell1113o & ~cell1113b mark1121 :: controlx ==> cell1121x & ~cell1121b mark1121 :: controlo ==> cell1121o & ~cell1121b mark1122 :: controlx ==> cell1122x & ~cell1122b mark1122 :: controlo ==> cell1122o & ~cell1122b mark1123 :: controlx ==> cell1123x & ~cell1123b mark1123 :: controlo ==> cell1123o & ~cell1123b mark1131 :: controlx ==> cell1131x & ~cell1131b mark1131 :: controlo ==> cell1131o & ~cell1131b mark1132 :: controlx ==> cell1132x & ~cell1132b mark1132 :: controlo ==> cell1132o & ~cell1132b mark1133 :: controlx ==> cell1133x & ~cell1133b mark1133 :: controlo ==> cell1133o & ~cell1133b mark1211 :: controlx ==> cell1211x & ~cell1211b mark1211 :: controlo ==> cell1211o & ~cell1211b mark1212 :: controlx ==> cell1212x & ~cell1212b mark1212 :: controlo ==> cell1212o & ~cell1212b mark1213 :: controlx ==> cell1213x & ~cell1213b mark1213 :: controlo ==> cell1213o & ~cell1213b mark1221 :: controlx ==> cell1221x & ~cell1221b mark1221 :: controlo ==> cell1221o & ~cell1221b mark1222 :: controlx ==> cell1222x & ~cell1222b mark1222 :: controlo ==> cell1222o & ~cell1222b mark1223 :: controlx ==> cell1223x & ~cell1223b mark1223 :: controlo ==> cell1223o & ~cell1223b mark1231 :: controlx ==> cell1231x & ~cell1231b mark1231 :: controlo ==> cell1231o & ~cell1231b mark1232 :: controlx ==> cell1232x & ~cell1232b mark1232 :: controlo ==> cell1232o & ~cell1232b mark1233 :: controlx ==> cell1233x & ~cell1233b mark1233 :: controlo ==> cell1233o & ~cell1233b mark1311 :: controlx ==> cell1311x & ~cell1311b mark1311 :: controlo ==> cell1311o & ~cell1311b mark1312 :: controlx ==> cell1312x & ~cell1312b mark1312 :: controlo ==> cell1312o & ~cell1312b mark1313 :: controlx ==> cell1313x & ~cell1313b mark1313 :: controlo ==> cell1313o & ~cell1313b mark1321 :: controlx ==> cell1321x & ~cell1321b mark1321 :: controlo ==> cell1321o & ~cell1321b mark1322 :: controlx ==> cell1322x & ~cell1322b mark1322 :: controlo ==> cell1322o & ~cell1322b mark1323 :: controlx ==> cell1323x & ~cell1323b mark1323 :: controlo ==> cell1323o & ~cell1323b mark1331 :: controlx ==> cell1331x & ~cell1331b mark1331 :: controlo ==> cell1331o & ~cell1331b mark1332 :: controlx ==> cell1332x & ~cell1332b mark1332 :: controlo ==> cell1332o & ~cell1332b mark1333 :: controlx ==> cell1333x & ~cell1333b mark1333 :: controlo ==> cell1333o & ~cell1333b mark2111 :: controlx ==> cell2111x & ~cell2111b mark2111 :: controlo ==> cell2111o & ~cell2111b mark2112 :: controlx ==> cell2112x & ~cell2112b mark2112 :: controlo ==> cell2112o & ~cell2112b mark2113 :: controlx ==> cell2113x & ~cell2113b mark2113 :: controlo ==> cell2113o & ~cell2113b mark2121 :: controlx ==> cell2121x & ~cell2121b mark2121 :: controlo ==> cell2121o & ~cell2121b mark2122 :: controlx ==> cell2122x & ~cell2122b mark2122 :: controlo ==> cell2122o & ~cell2122b mark2123 :: controlx ==> cell2123x & ~cell2123b mark2123 :: controlo ==> cell2123o & ~cell2123b mark2131 :: controlx ==> cell2131x & ~cell2131b mark2131 :: controlo ==> cell2131o & ~cell2131b mark2132 :: controlx ==> cell2132x & ~cell2132b mark2132 :: controlo ==> cell2132o & ~cell2132b mark2133 :: controlx ==> cell2133x & ~cell2133b mark2133 :: controlo ==> cell2133o & ~cell2133b mark2211 :: controlx ==> cell2211x & ~cell2211b mark2211 :: controlo ==> cell2211o & ~cell2211b mark2212 :: controlx ==> cell2212x & ~cell2212b mark2212 :: controlo ==> cell2212o & ~cell2212b mark2213 :: controlx ==> cell2213x & ~cell2213b mark2213 :: controlo ==> cell2213o & ~cell2213b mark2221 :: controlx ==> cell2221x & ~cell2221b mark2221 :: controlo ==> cell2221o & ~cell2221b mark2222 :: controlx ==> cell2222x & ~cell2222b mark2222 :: controlo ==> cell2222o & ~cell2222b mark2223 :: controlx ==> cell2223x & ~cell2223b mark2223 :: controlo ==> cell2223o & ~cell2223b mark2231 :: controlx ==> cell2231x & ~cell2231b mark2231 :: controlo ==> cell2231o & ~cell2231b mark2232 :: controlx ==> cell2232x & ~cell2232b mark2232 :: controlo ==> cell2232o & ~cell2232b mark2233 :: controlx ==> cell2233x & ~cell2233b mark2233 :: controlo ==> cell2233o & ~cell2233b mark2311 :: controlx ==> cell2311x & ~cell2311b mark2311 :: controlo ==> cell2311o & ~cell2311b mark2312 :: controlx ==> cell2312x & ~cell2312b mark2312 :: controlo ==> cell2312o & ~cell2312b mark2313 :: controlx ==> cell2313x & ~cell2313b mark2313 :: controlo ==> cell2313o & ~cell2313b mark2321 :: controlx ==> cell2321x & ~cell2321b mark2321 :: controlo ==> cell2321o & ~cell2321b mark2322 :: controlx ==> cell2322x & ~cell2322b mark2322 :: controlo ==> cell2322o & ~cell2322b mark2323 :: controlx ==> cell2323x & ~cell2323b mark2323 :: controlo ==> cell2323o & ~cell2323b mark2331 :: controlx ==> cell2331x & ~cell2331b mark2331 :: controlo ==> cell2331o & ~cell2331b mark2332 :: controlx ==> cell2332x & ~cell2332b mark2332 :: controlo ==> cell2332o & ~cell2332b mark2333 :: controlx ==> cell2333x & ~cell2333b mark2333 :: controlo ==> cell2333o & ~cell2333b mark3111 :: controlx ==> cell3111x & ~cell3111b mark3111 :: controlo ==> cell3111o & ~cell3111b mark3112 :: controlx ==> cell3112x & ~cell3112b mark3112 :: controlo ==> cell3112o & ~cell3112b mark3113 :: controlx ==> cell3113x & ~cell3113b mark3113 :: controlo ==> cell3113o & ~cell3113b mark3121 :: controlx ==> cell3121x & ~cell3121b mark3121 :: controlo ==> cell3121o & ~cell3121b mark3122 :: controlx ==> cell3122x & ~cell3122b mark3122 :: controlo ==> cell3122o & ~cell3122b mark3123 :: controlx ==> cell3123x & ~cell3123b mark3123 :: controlo ==> cell3123o & ~cell3123b mark3131 :: controlx ==> cell3131x & ~cell3131b mark3131 :: controlo ==> cell3131o & ~cell3131b mark3132 :: controlx ==> cell3132x & ~cell3132b mark3132 :: controlo ==> cell3132o & ~cell3132b mark3133 :: controlx ==> cell3133x & ~cell3133b mark3133 :: controlo ==> cell3133o & ~cell3133b mark3211 :: controlx ==> cell3211x & ~cell3211b mark3211 :: controlo ==> cell3211o & ~cell3211b mark3212 :: controlx ==> cell3212x & ~cell3212b mark3212 :: controlo ==> cell3212o & ~cell3212b mark3213 :: controlx ==> cell3213x & ~cell3213b mark3213 :: controlo ==> cell3213o & ~cell3213b mark3221 :: controlx ==> cell3221x & ~cell3221b mark3221 :: controlo ==> cell3221o & ~cell3221b mark3222 :: controlx ==> cell3222x & ~cell3222b mark3222 :: controlo ==> cell3222o & ~cell3222b mark3223 :: controlx ==> cell3223x & ~cell3223b mark3223 :: controlo ==> cell3223o & ~cell3223b mark3231 :: controlx ==> cell3231x & ~cell3231b mark3231 :: controlo ==> cell3231o & ~cell3231b mark3232 :: controlx ==> cell3232x & ~cell3232b mark3232 :: controlo ==> cell3232o & ~cell3232b mark3233 :: controlx ==> cell3233x & ~cell3233b mark3233 :: controlo ==> cell3233o & ~cell3233b mark3311 :: controlx ==> cell3311x & ~cell3311b mark3311 :: controlo ==> cell3311o & ~cell3311b mark3312 :: controlx ==> cell3312x & ~cell3312b mark3312 :: controlo ==> cell3312o & ~cell3312b mark3313 :: controlx ==> cell3313x & ~cell3313b mark3313 :: controlo ==> cell3313o & ~cell3313b mark3321 :: controlx ==> cell3321x & ~cell3321b mark3321 :: controlo ==> cell3321o & ~cell3321b mark3322 :: controlx ==> cell3322x & ~cell3322b mark3322 :: controlo ==> cell3322o & ~cell3322b mark3323 :: controlx ==> cell3323x & ~cell3323b mark3323 :: controlo ==> cell3323o & ~cell3323b mark3331 :: controlx ==> cell3331x & ~cell3331b mark3331 :: controlo ==> cell3331o & ~cell3331b mark3332 :: controlx ==> cell3332x & ~cell3332b mark3332 :: controlo ==> cell3332o & ~cell3332b mark3333 :: controlx ==> cell3333x & ~cell3333b mark3333 :: controlo ==> cell3333o & ~cell3333b mark1111 :: ~current11 & current11 mark1112 :: ~current11 & current12 mark1113 :: ~current11 & current13 mark1121 :: ~current11 & current21 mark1122 :: ~current11 & current22 mark1123 :: ~current11 & current23 mark1131 :: ~current11 & current31 mark1132 :: ~current11 & current32 mark1133 :: ~current11 & current33 mark1211 :: ~current12 & current11 mark1212 :: ~current12 & current12 mark1213 :: ~current12 & current13 mark1221 :: ~current12 & current21 mark1222 :: ~current12 & current22 mark1223 :: ~current12 & current23 mark1231 :: ~current12 & current31 mark1232 :: ~current12 & current32 mark1233 :: ~current12 & current33 mark1311 :: ~current13 & current11 mark1312 :: ~current13 & current12 mark1313 :: ~current13 & current13 mark1321 :: ~current13 & current21 mark1322 :: ~current13 & current22 mark1323 :: ~current13 & current23 mark1331 :: ~current13 & current31 mark1332 :: ~current13 & current32 mark1333 :: ~current13 & current33 mark2111 :: ~current21 & current11 mark2112 :: ~current21 & current12 mark2113 :: ~current21 & current13 mark2121 :: ~current21 & current21 mark2122 :: ~current21 & current22 mark2123 :: ~current21 & current23 mark2131 :: ~current21 & current31 mark2132 :: ~current21 & current32 mark2133 :: ~current21 & current33 mark2211 :: ~current22 & current11 mark2212 :: ~current22 & current12 mark2213 :: ~current22 & current13 mark2221 :: ~current22 & current21 mark2222 :: ~current22 & current22 mark2223 :: ~current22 & current23 mark2231 :: ~current22 & current31 mark2232 :: ~current22 & current32 mark2233 :: ~current22 & current33 mark2311 :: ~current23 & current11 mark2312 :: ~current23 & current12 mark2313 :: ~current23 & current13 mark2321 :: ~current23 & current21 mark2322 :: ~current23 & current22 mark2323 :: ~current23 & current23 mark2331 :: ~current23 & current31 mark2332 :: ~current23 & current32 mark2333 :: ~current23 & current33 mark3111 :: ~current31 & current11 mark3112 :: ~current31 & current12 mark3113 :: ~current31 & current13 mark3121 :: ~current31 & current21 mark3122 :: ~current31 & current22 mark3123 :: ~current31 & current23 mark3131 :: ~current31 & current31 mark3132 :: ~current31 & current32 mark3133 :: ~current31 & current33 mark3211 :: ~current32 & current11 mark3212 :: ~current32 & current12 mark3213 :: ~current32 & current13 mark3221 :: ~current32 & current21 mark3222 :: ~current32 & current22 mark3223 :: ~current32 & current23 mark3231 :: ~current32 & current31 mark3232 :: ~current32 & current32 mark3233 :: ~current32 & current33 mark3311 :: ~current33 & current11 mark3312 :: ~current33 & current12 mark3313 :: ~current33 & current13 mark3321 :: ~current33 & current21 mark3322 :: ~current33 & current22 mark3323 :: ~current33 & current23 mark3331 :: ~current33 & current31 mark3332 :: ~current33 & current32 mark3333 :: ~current33 & current33 mark1111 :: controlx ==> ~controlx & controlo mark1112 :: controlx ==> ~controlx & controlo mark1113 :: controlx ==> ~controlx & controlo mark1121 :: controlx ==> ~controlx & controlo mark1122 :: controlx ==> ~controlx & controlo mark1123 :: controlx ==> ~controlx & controlo mark1131 :: controlx ==> ~controlx & controlo mark1132 :: controlx ==> ~controlx & controlo mark1133 :: controlx ==> ~controlx & controlo mark1211 :: controlx ==> ~controlx & controlo mark1212 :: controlx ==> ~controlx & controlo mark1213 :: controlx ==> ~controlx & controlo mark1221 :: controlx ==> ~controlx & controlo mark1222 :: controlx ==> ~controlx & controlo mark1223 :: controlx ==> ~controlx & controlo mark1231 :: controlx ==> ~controlx & controlo mark1232 :: controlx ==> ~controlx & controlo mark1233 :: controlx ==> ~controlx & controlo mark1311 :: controlx ==> ~controlx & controlo mark1312 :: controlx ==> ~controlx & controlo mark1313 :: controlx ==> ~controlx & controlo mark1321 :: controlx ==> ~controlx & controlo mark1322 :: controlx ==> ~controlx & controlo mark1323 :: controlx ==> ~controlx & controlo mark1331 :: controlx ==> ~controlx & controlo mark1332 :: controlx ==> ~controlx & controlo mark1333 :: controlx ==> ~controlx & controlo mark2111 :: controlx ==> ~controlx & controlo mark2112 :: controlx ==> ~controlx & controlo mark2113 :: controlx ==> ~controlx & controlo mark2121 :: controlx ==> ~controlx & controlo mark2122 :: controlx ==> ~controlx & controlo mark2123 :: controlx ==> ~controlx & controlo mark2131 :: controlx ==> ~controlx & controlo mark2132 :: controlx ==> ~controlx & controlo mark2133 :: controlx ==> ~controlx & controlo mark2211 :: controlx ==> ~controlx & controlo mark2212 :: controlx ==> ~controlx & controlo mark2213 :: controlx ==> ~controlx & controlo mark2221 :: controlx ==> ~controlx & controlo mark2222 :: controlx ==> ~controlx & controlo mark2223 :: controlx ==> ~controlx & controlo mark2231 :: controlx ==> ~controlx & controlo mark2232 :: controlx ==> ~controlx & controlo mark2233 :: controlx ==> ~controlx & controlo mark2311 :: controlx ==> ~controlx & controlo mark2312 :: controlx ==> ~controlx & controlo mark2313 :: controlx ==> ~controlx & controlo mark2321 :: controlx ==> ~controlx & controlo mark2322 :: controlx ==> ~controlx & controlo mark2323 :: controlx ==> ~controlx & controlo mark2331 :: controlx ==> ~controlx & controlo mark2332 :: controlx ==> ~controlx & controlo mark2333 :: controlx ==> ~controlx & controlo mark3111 :: controlx ==> ~controlx & controlo mark3112 :: controlx ==> ~controlx & controlo mark3113 :: controlx ==> ~controlx & controlo mark3121 :: controlx ==> ~controlx & controlo mark3122 :: controlx ==> ~controlx & controlo mark3123 :: controlx ==> ~controlx & controlo mark3131 :: controlx ==> ~controlx & controlo mark3132 :: controlx ==> ~controlx & controlo mark3133 :: controlx ==> ~controlx & controlo mark3211 :: controlx ==> ~controlx & controlo mark3212 :: controlx ==> ~controlx & controlo mark3213 :: controlx ==> ~controlx & controlo mark3221 :: controlx ==> ~controlx & controlo mark3222 :: controlx ==> ~controlx & controlo mark3223 :: controlx ==> ~controlx & controlo mark3231 :: controlx ==> ~controlx & controlo mark3232 :: controlx ==> ~controlx & controlo mark3233 :: controlx ==> ~controlx & controlo mark3311 :: controlx ==> ~controlx & controlo mark3312 :: controlx ==> ~controlx & controlo mark3313 :: controlx ==> ~controlx & controlo mark3321 :: controlx ==> ~controlx & controlo mark3322 :: controlx ==> ~controlx & controlo mark3323 :: controlx ==> ~controlx & controlo mark3331 :: controlx ==> ~controlx & controlo mark3332 :: controlx ==> ~controlx & controlo mark3333 :: controlx ==> ~controlx & controlo mark1111 :: controlo ==> ~controlo & controlx mark1112 :: controlo ==> ~controlo & controlx mark1113 :: controlo ==> ~controlo & controlx mark1121 :: controlo ==> ~controlo & controlx mark1122 :: controlo ==> ~controlo & controlx mark1123 :: controlo ==> ~controlo & controlx mark1131 :: controlo ==> ~controlo & controlx mark1132 :: controlo ==> ~controlo & controlx mark1133 :: controlo ==> ~controlo & controlx mark1211 :: controlo ==> ~controlo & controlx mark1212 :: controlo ==> ~controlo & controlx mark1213 :: controlo ==> ~controlo & controlx mark1221 :: controlo ==> ~controlo & controlx mark1222 :: controlo ==> ~controlo & controlx mark1223 :: controlo ==> ~controlo & controlx mark1231 :: controlo ==> ~controlo & controlx mark1232 :: controlo ==> ~controlo & controlx mark1233 :: controlo ==> ~controlo & controlx mark1311 :: controlo ==> ~controlo & controlx mark1312 :: controlo ==> ~controlo & controlx mark1313 :: controlo ==> ~controlo & controlx mark1321 :: controlo ==> ~controlo & controlx mark1322 :: controlo ==> ~controlo & controlx mark1323 :: controlo ==> ~controlo & controlx mark1331 :: controlo ==> ~controlo & controlx mark1332 :: controlo ==> ~controlo & controlx mark1333 :: controlo ==> ~controlo & controlx mark2111 :: controlo ==> ~controlo & controlx mark2112 :: controlo ==> ~controlo & controlx mark2113 :: controlo ==> ~controlo & controlx mark2121 :: controlo ==> ~controlo & controlx mark2122 :: controlo ==> ~controlo & controlx mark2123 :: controlo ==> ~controlo & controlx mark2131 :: controlo ==> ~controlo & controlx mark2132 :: controlo ==> ~controlo & controlx mark2133 :: controlo ==> ~controlo & controlx mark2211 :: controlo ==> ~controlo & controlx mark2212 :: controlo ==> ~controlo & controlx mark2213 :: controlo ==> ~controlo & controlx mark2221 :: controlo ==> ~controlo & controlx mark2222 :: controlo ==> ~controlo & controlx mark2223 :: controlo ==> ~controlo & controlx mark2231 :: controlo ==> ~controlo & controlx mark2232 :: controlo ==> ~controlo & controlx mark2233 :: controlo ==> ~controlo & controlx mark2311 :: controlo ==> ~controlo & controlx mark2312 :: controlo ==> ~controlo & controlx mark2313 :: controlo ==> ~controlo & controlx mark2321 :: controlo ==> ~controlo & controlx mark2322 :: controlo ==> ~controlo & controlx mark2323 :: controlo ==> ~controlo & controlx mark2331 :: controlo ==> ~controlo & controlx mark2332 :: controlo ==> ~controlo & controlx mark2333 :: controlo ==> ~controlo & controlx mark3111 :: controlo ==> ~controlo & controlx mark3112 :: controlo ==> ~controlo & controlx mark3113 :: controlo ==> ~controlo & controlx mark3121 :: controlo ==> ~controlo & controlx mark3122 :: controlo ==> ~controlo & controlx mark3123 :: controlo ==> ~controlo & controlx mark3131 :: controlo ==> ~controlo & controlx mark3132 :: controlo ==> ~controlo & controlx mark3133 :: controlo ==> ~controlo & controlx mark3211 :: controlo ==> ~controlo & controlx mark3212 :: controlo ==> ~controlo & controlx mark3213 :: controlo ==> ~controlo & controlx mark3221 :: controlo ==> ~controlo & controlx mark3222 :: controlo ==> ~controlo & controlx mark3223 :: controlo ==> ~controlo & controlx mark3231 :: controlo ==> ~controlo & controlx mark3232 :: controlo ==> ~controlo & controlx mark3233 :: controlo ==> ~controlo & controlx mark3311 :: controlo ==> ~controlo & controlx mark3312 :: controlo ==> ~controlo & controlx mark3313 :: controlo ==> ~controlo & controlx mark3321 :: controlo ==> ~controlo & controlx mark3322 :: controlo ==> ~controlo & controlx mark3323 :: controlo ==> ~controlo & controlx mark3331 :: controlo ==> ~controlo & controlx mark3332 :: controlo ==> ~controlo & controlx mark3333 :: 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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- linex terminal :- lineo terminal :- current11 & ~open11 terminal :- current12 & ~open12 terminal :- current13 & ~open13 terminal :- current21 & ~open21 terminal :- current22 & ~open22 terminal :- current23 & ~open23 terminal :- current31 & ~open31 terminal :- current32 & ~open32 terminal :- current33 & ~open33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Views %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% row111x :- cell1111x & cell1112x & cell1113x row111o :- cell1111o & cell1112o & cell1113o row112x :- cell1121x & cell1122x & cell1123x row112o :- cell1121o & cell1122o & cell1123o row113x :- cell1131x & cell1132x & cell1133x row113o :- cell1131o & cell1132o & cell1133o row121x :- cell1211x & cell1212x & cell1213x row121o :- cell1211o & cell1212o & cell1213o row122x :- cell1221x & cell1222x & cell1223x row122o :- cell1221o & cell1222o & cell1223o row123x :- cell1231x & cell1232x & cell1233x row123o :- cell1231o & cell1232o & cell1233o row131x :- cell1311x & cell1312x & cell1313x row131o :- cell1311o & cell1312o & cell1313o row132x :- cell1321x & cell1322x & cell1323x row132o :- cell1321o & cell1322o & cell1323o row133x :- cell1331x & cell1332x & cell1333x row133o :- cell1331o & cell1332o & cell1333o row211x :- cell2111x & cell2112x & cell2113x row211o :- cell2111o & cell2112o & cell2113o row212x :- cell2121x & cell2122x & cell2123x row212o :- cell2121o & cell2122o & cell2123o row213x :- cell2131x & cell2132x & cell2133x row213o :- cell2131o & cell2132o & cell2133o row221x :- cell2211x & cell2212x & cell2213x row221o :- cell2211o & cell2212o & cell2213o row222x :- cell2221x & cell2222x & cell2223x row222o :- cell2221o & cell2222o & cell2223o row223x :- cell2231x & cell2232x & cell2233x row223o :- cell2231o & cell2232o & cell2233o row231x :- cell2311x & cell2312x & cell2313x row231o :- cell2311o & cell2312o & cell2313o row232x :- cell2321x & cell2322x & cell2323x row232o :- cell2321o & cell2322o & cell2323o row233x :- cell2331x & cell2332x & cell2333x row233o :- cell2331o & cell2332o & cell2333o row311x :- cell3111x & cell3112x & cell3113x row311o :- cell3111o & cell3112o & cell3113o row312x :- cell3121x & cell3122x & cell3123x row312o :- cell3121o & cell3122o & cell3123o row313x :- cell3131x & cell3132x & cell3133x row313o :- cell3131o & cell3132o & cell3133o row321x :- cell3211x & cell3212x & cell3213x row321o :- cell3211o & cell3212o & cell3213o row322x :- cell3221x & cell3222x & cell3223x row322o :- cell3221o & cell3222o & cell3223o row323x :- cell3231x & cell3232x & cell3233x row323o :- cell3231o & cell3232o & cell3233o row331x :- cell3311x & cell3312x & cell3313x row331o :- cell3311o & cell3312o & cell3313o row332x :- cell3321x & cell3322x & cell3323x row332o :- cell3321o & cell3322o & cell3323o row333x :- cell3331x & cell3332x & cell3333x row333o :- cell3331o & cell3332o & cell3333o col111x :- cell1111x & cell1121x & cell1131x col111o :- cell1111o & cell1121o & cell1131o col112x :- cell1112x & cell1122x & cell1132x col112o :- cell1112o & cell1122o & cell1132o col113x :- cell1113x & cell1123x & cell1133x col113o :- cell1113o & cell1123o & cell1133o col121x :- cell1211x & cell1221x & cell1231x col121o :- cell1211o & cell1221o & cell1231o col122x :- cell1212x & cell1222x & cell1232x col122o :- cell1212o & cell1222o & cell1232o col123x :- cell1213x & cell1223x & cell1233x col123o :- cell1213o & cell1223o & cell1233o col131x :- cell1311x & cell1321x & cell1331x col131o :- cell1311o & cell1321o & cell1331o col132x :- cell1312x & cell1322x & cell1332x col132o :- cell1312o & cell1322o & cell1332o col133x :- cell1313x & cell1323x & cell1333x col133o :- cell1313o & cell1323o & cell1333o col211x :- cell2111x & cell2121x & cell2131x col211o :- cell2111o & cell2121o & cell2131o col212x :- cell2112x & cell2122x & cell2132x col212o :- cell2112o & cell2122o & cell2132o col213x :- cell2113x & cell2123x & cell2133x col213o :- cell2113o & cell2123o & cell2133o col221x :- cell2211x & cell2221x & cell2231x col221o :- cell2211o & cell2221o & cell2231o col222x :- cell2212x & cell2222x & cell2232x col222o :- cell2212o & cell2222o & cell2232o col223x :- cell2213x & cell2223x & cell2233x col223o :- cell2213o & cell2223o & cell2233o col231x :- cell2311x & cell2321x & cell2331x col231o :- cell2311o & cell2321o & cell2331o col232x :- cell2312x & cell2322x & cell2332x col232o :- cell2312o & cell2322o & cell2332o col233x :- cell2313x & cell2323x & cell2333x col233o :- cell2313o & cell2323o & cell2333o col311x :- cell3111x & cell3121x & cell3131x col311o :- cell3111o & cell3121o & cell3131o col312x :- cell3112x & cell3122x & cell3132x col312o :- cell3112o & cell3122o & cell3132o col313x :- cell3113x & cell3123x & cell3133x col313o :- cell3113o & cell3123o & cell3133o col321x :- cell3211x & cell3221x & cell3231x col321o :- cell3211o & cell3221o & cell3231o col322x :- cell3212x & cell3222x & cell3232x col322o :- cell3212o & cell3222o & cell3232o col323x :- cell3213x & cell3223x & cell3233x col323o :- cell3213o & cell3223o & cell3233o col331x :- cell3311x & cell3321x & cell3331x col331o :- cell3311o & cell3321o & cell3331o col332x :- cell3312x & cell3322x & cell3332x col332o :- cell3312o & cell3322o & cell3332o col333x :- cell3313x & cell3323x & cell3333x col333o :- cell3313o & cell3323o & cell3333o diag11x :- cell1111x & cell1122x & cell1133x diag11o :- cell1111o & cell1122o & cell1133o diag12x :- cell1211x & cell1222x & cell1233x diag12o :- cell1211o & cell1222o & cell1233o diag13x :- cell1311x & cell1322x & cell1333x diag13o :- cell1311o & cell1322o & cell1333o diag21x :- cell2111x & cell2122x & cell2133x diag21o :- cell2111o & cell2122o & cell2133o diag22x :- cell2211x & cell2222x & cell2233x diag22o :- cell2211o & cell2222o & cell2233o diag23x :- cell2311x & cell2322x & cell2333x diag23o :- cell2311o & cell2322o & cell2333o diag31x :- cell3111x & cell3122x & cell3133x diag31o :- cell3111o & cell3122o & cell3133o diag32x :- cell3211x & cell3222x & cell3233x diag32o :- cell3211o & cell3222o & cell3233o diag33x :- cell3311x & cell3322x & cell3333x diag33o :- cell3311o & cell3322o & cell3333o diag11x :- cell1113x & cell1122x & cell1131x diag11o :- cell1113o & cell1122o & cell1131o diag12x :- cell1213x & cell1222x & cell1231x diag12o :- cell1213o & cell1222o & cell1231o diag13x :- cell1313x & cell1322x & cell1331x diag13o :- cell1313o & cell1322o & cell1331o diag21x :- cell2113x & cell2122x & cell2131x diag21o :- cell2113o & cell2122o & cell2131o diag22x :- cell2213x & cell2222x & cell2231x diag22o :- cell2213o & cell2222o & cell2231o diag23x :- cell2313x & cell2322x & cell2331x diag23o :- cell2313o & cell2322o & cell2331o diag31x :- cell3113x & cell3122x & cell3131x diag31o :- cell3113o & cell3122o & cell3131o diag32x :- cell3213x & cell3222x & cell3231x diag32o :- cell3213o & cell3222o & cell3231o diag33x :- cell3313x & cell3322x & cell3331x diag33o :- cell3313o & cell3322o & cell3331o linex :- row111x lineo :- row111o linex :- row112x lineo :- row112o linex :- row113x lineo :- row113o linex :- row121x lineo :- row121o linex :- row122x lineo :- row122o linex :- row123x lineo :- row123o linex :- row131x lineo :- row131o linex :- row132x lineo :- row132o linex :- row133x lineo :- row133o linex :- row211x lineo :- row211o linex :- row212x lineo :- row212o linex :- row213x lineo :- row213o linex :- row221x lineo :- row221o linex :- row222x lineo :- row222o linex :- row223x lineo :- row223o linex :- row231x lineo :- row231o linex :- row232x lineo :- row232o linex :- row233x lineo :- row233o linex :- row311x lineo :- row311o linex :- row312x lineo :- row312o linex :- row313x lineo :- row313o linex :- row321x lineo :- row321o linex :- row322x lineo :- row322o linex :- row323x lineo :- row323o linex :- row331x lineo :- row331o linex :- row332x lineo :- row332o linex :- row333x lineo :- row333o linex :- col111x lineo :- col111o linex :- col112x lineo :- col112o linex :- col113x lineo :- col113o linex :- col121x lineo :- col121o linex :- col122x lineo :- col122o linex :- col123x lineo :- col123o linex :- col131x lineo :- col131o linex :- col132x lineo :- col132o linex :- col133x lineo :- col133o linex :- col211x lineo :- col211o linex :- col212x lineo :- col212o linex :- col213x lineo :- col213o linex :- col221x lineo :- col221o linex :- col222x lineo :- col222o linex :- col223x lineo :- col223o linex :- col231x lineo :- col231o linex :- col232x lineo :- col232o linex :- col233x lineo :- col233o linex :- col311x lineo :- col311o linex :- col312x lineo :- col312o linex :- col313x lineo :- col313o linex :- col321x lineo :- col321o linex :- col322x lineo :- col322o linex :- col323x lineo :- col323o linex :- col331x lineo :- col331o linex :- col332x lineo :- col332o linex :- col333x lineo :- col333o linex :- diag11x lineo :- diag11o linex :- diag12x lineo :- diag12o linex :- diag13x lineo :- diag13o linex :- diag21x lineo :- diag21o linex :- diag22x lineo :- diag22o linex :- diag23x lineo :- diag23o linex :- diag31x lineo :- diag31o linex :- diag32x lineo :- diag32o linex :- diag33x lineo :- diag33o open11 :- cell1111b open11 :- cell1112b open11 :- cell1113b open11 :- cell1121b open11 :- cell1122b open11 :- cell1123b open11 :- cell1131b open11 :- cell1132b open11 :- cell1133b open12 :- cell1211b open12 :- cell1212b open12 :- cell1213b open12 :- cell1221b open12 :- cell1222b open12 :- cell1223b open12 :- cell1231b open12 :- cell1232b open12 :- cell1233b open13 :- cell1311b open13 :- cell1312b open13 :- cell1313b open13 :- cell1321b open13 :- cell1322b open13 :- cell1323b open13 :- cell1331b open13 :- cell1332b open13 :- cell1333b open21 :- cell2111b open21 :- cell2112b open21 :- cell2113b open21 :- cell2121b open21 :- cell2122b open21 :- cell2123b open21 :- cell2131b open21 :- cell2132b open21 :- cell2133b open22 :- cell2211b open22 :- cell2212b open22 :- cell2213b open22 :- cell2221b open22 :- cell2222b open22 :- cell2223b open22 :- cell2231b open22 :- cell2232b open22 :- cell2233b open23 :- cell2311b open23 :- cell2312b open23 :- cell2313b open23 :- cell2321b open23 :- cell2322b open23 :- cell2323b open23 :- cell2331b open23 :- cell2332b open23 :- cell2333b open31 :- cell3111b open31 :- cell3112b open31 :- cell3113b open31 :- cell3121b open31 :- cell3122b open31 :- cell3123b open31 :- cell3131b open31 :- cell3132b open31 :- cell3133b open32 :- cell3211b open32 :- cell3212b open32 :- cell3213b open32 :- cell3221b open32 :- cell3222b open32 :- cell3223b open32 :- cell3231b open32 :- cell3232b open32 :- cell3233b open33 :- cell3311b open33 :- cell3312b open33 :- cell3313b open33 :- cell3321b open33 :- cell3322b open33 :- cell3323b open33 :- cell3331b open33 :- cell3332b open33 :- cell3333b %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%