Fair and Square solutions

Fair and Square was solved using Prolog by 1 contestant.