Minesweeper Master solutions

Minesweeper Master was solved using Prolog by 1 contestant.