Saving the Universe solutions

Saving the Universe was solved using Prolog by 1 contestant.