食人族和传教士 通过盲目搜索算法在序言中实现。 怎么跑 :~$ swipl -f cannibals_and_missionaries.pl 我们的目标是“运行”,因此请在swipl控制台内点击运行 ?- run. 输出 ?- run. state(3,3,left,0,0) - > state(1,3,right,2,0) state(1,3,right,2,0) - > state(2,3,left,1,0) state(2,3,left,1,0) - > state(0,3,right,3,0) state(0,3,right,3,0) - > state(1,3,left,2,0) state(1,3,left,2,0) - > state(1,1,right,2,2) state(1,1,right,2,2) - > state(2,2,left,1,1) state(2,2,l