已知3个柱子1,2,3和3个盘子A,B,C(A比B小,B比C小)。初始状态下,A,B,C依次放到1柱上。目标状态是A,B,C依次放在柱子2上。条件是每次可移动一个盘子,盘子上方是空顶方可移动,而任何时候都不允许大盘放在小盘之上。 包含prolog代码以及实验报告