The towers of Hanoi from a different viewpoint
Milos Konopasek · ACM SIGPLAN Notices · 1985
An interpretation of the Towers of Hanoi problem in a declarative language (TK!Solver) is offered as an alternative to procedural treatments using recursive or iterative techniques. The article gives a glimpse at TK!Solver and shows solutions to some of the Tower of Hanoi problems beyond a simple simulation of the disk transfer process.