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