食人族和传教士 通过盲目搜索算法在序言中实现。 怎么跑 :~$ 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,