Lets work out a game tree for Tic-Tac-Toe. How would one compute this result in Prolog:
Taking the 8 symmetries into account, and assuming computer (X) s
