Ominous Omino solutions

Ominous Omino was solved using Prolog by 1 contestant.