A Tic-Tac-Toe game with an AI based on FOL