---------------
Towers of Hanoi
---------------

Taken from the book "The Art of Prolog" by Leon Sterling and Ehud Shapiro

The tests are at http://josd.github.io/eye/reasoning/hanoi/test
