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?