ACL2のサンプルを思わずベタ書き。
http://userweb.cs.utexas.edu/users/moore/acl2/v3-6/TUTORIAL1-TOWERS-OF-HANOI.html
(defn move [a b] ['move a 'to b]) (defn hanoi [a b c n] (if (< n 1) nil (if (= n 1) (list (move a c)) (concat (hanoi a c b (- n 1)) (cons (move a c) (hanoi b a c (- n 1)))))))