说明：  传教士和食人族Prolog，Prolog（人工智能编程语言）中的传教士和食人者问题。它有限制...
(The missionaries and cannibals problem in Prolog(programming language for artificial intelligence).It has constraints such as there cannot be 2 cannibals and 1 missionary on a side of the river because the cannibals will eat the missionary etc.)