Aswer Set program to reason explicitly about strategies in Tic-Tac-Toe. Able to prove theorems about whether certain high-level strategies followed by the two players in Tic-Tac-Toe always lead to wins, ties, or loses. Read the paper ("Abstract Strategic Reasoning in Tic-Tac-Toe") to understand the theory behind the specification as well as its detailed functionality and use.
To run the program copy paste the ASP code in the text file to the browser version of the clingo solver (https://potassco.org/clingo/run/).