ALC2 Experiments

hanoi_1.lsp - procedure for Tower of Hanoi problem
hanoi_2.lsp - theorems on the procedure