食人族和傳教士

Question

我是序言新手，開始學習序言。 我發現傳教士和食人族的謎題有趣，可以在序言中解決。我研究了很多論壇，並找到了我認爲是非常好的解決方案的鏈接。但一些我沒有得到實際結果。輸出的動作似乎是錯誤的。我試圖追蹤程序，在賦值時看起來一切都很完美，但不知何故解決方案是錯誤的。

我需要高手幫忙才知道邏輯錯誤的確切位置。

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

Answer 1

正如我們在文章的評論中討論，有沒有邏輯錯誤，只是一個生病選擇輸出格式。