Ta上传的资源 (0)

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