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

See https://www.cpp.edu/~jrfisher/www/prolog_tutorial/2_3.html

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