The zebra puzzle and getting to know your tools

This papers deals with modelling of the zebra puzzle (also known as Einstein's riddle) in Prolog, the logical programming language. It shows how to construct a rudimentary representation of the puzzle in Prolog and then proceeds by suggesting several modifications that significantly reduce the amount of computation time required to solve it. The results illustrate why - if a correct and reasonably efficient knowledge representation is to be constructed - it may be vital for the knowledge engineer to have a firm understanding of the way in which their knowledge representation tool reasons. Naturally, the paper also includes the answer to the eternal question: who owns the zebra?