有N个传教士和N个野人来到河边准备渡河，河岸有一条船，每次之多可供k个人乘渡。传教士为了安全起见，任何时刻，河两岸以及船上的野人数目总是不能超过传教士的数目（传教士数目为0除外）。求解一个可以令传教士和野人安全从左岸全部摆渡到右岸的过程。

在河的右岸有3个修道士、3个野人和一条船，修道士要把所有人都运到河对岸，但是： （1）修道士和野人都会划船，但船每次最多只能运两个人； （2）在两个岸边，野人数目不能超过修道士的数目，否则后者被吃掉。野人完全服从修道士的任何渡河方案。 包含prolog代码以及实验报告