The zebra puzzle (http://en.wikipedia.org/wiki/Zebra_puzzle) solution implementation in Prolog.