用Prolog求解传教士和野人问题

用Prolog求解传教士和野人问题实验七 用Prolog求解传教士和野人问题 1、实验目的 复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。