问题：设有3个传教士和3个野人来到河边，打算乘一只船从右岸渡到左岸去。该船的负载能力为两人。在任何时候，如果野人人数超过传教士人数，那么野人就会把传教士吃掉。他们怎样才能用这条船安全地把所有人都渡过河去？ 综合上述信息提取限制信息为： 1、修道士和野人都会划船，但船一次只能载2人； 2、在任何岸边，野人数不能超过修道士数，否则修道士将会被野人吃掉

用Prolog求解传教士和野人问题，程序报告。

A*算法解决传教士与野人过河问题 * 程 序 说 明 * * 功能: 用A*算法求解传教士与野人问题。M=C=5, K=3 * * 说明: * * 本程序按照《人工智能导论》一书所介绍的A*算法求解传教士与野人问题。 * * * * 注意: 该程序尽可能用与算法一致的思路实现算法, 力求简单明了, 注重算法的清晰性，* * 而没有考虑算法的效率问题。