Tic-Tac-Toe-Tomek solutions

Tic-Tac-Toe-Tomek was solved using Prolog by 2 contestants. Solution sizes: average 2805 bytes (shortest: 2316; longest: 3085).