食人族和传教士

Question

我是prolog的新手并开始学习prolog。 我发现传教士和食人族的谜题很有趣，可以在prolog中解决。我研究了很多论坛，发现我认为这是一个非常好的解决方案。但有些我怎么没有得到实际的结果。输出上的动作似乎是错误的。我试图跟踪程序，在赋值的过程中一切看起来都很完美但不知何故解决方案是错误的。

我需要专家帮助知道逻辑错误究竟在哪里。

来源：http://www.enrico-franchi.org/2008/12/missionaries-cannibals-and-prolog.html

Answer 1

正如我们在帖子的评论中所讨论的那样，没有逻辑错误，只是一个错误选择的输出格式。