negation

Just starting to get into Prolog as artificial intelligence is quite interesting and different than alot of other programming languages out there, and I've stumbled upon a logic puzzle: http://www.brainbashers.com/showpuzzles.as and wondering how i could start coding such a puzzle?…