Tic-tac-toe game with AI in Prolog and GUI in Python (kivy framework + pyswip)