(DEFUN hanoi (n from to aux)
	(COND   ((= n 1) (move from to))
		(T 	(hanoi (- n 1) from aux to)
			(move from to)
			(hanoi (- n 1) aux to from)
)))

(DEFUN move (from to)
	(format T  "~%move the disc from ~a to ~a." from to)
)