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