Einstein's Riddle (aka Zebra Puzzle) formulated as a Prolog program. Einstein's Riddle (aka Zebra Puzzle) formulated as a (SWI-)Prolog program. As stated by the Wikipedia entry of the Zebra Puzzle, ...