用Prolog求解传教士和野人问题
复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。,Using Prolog to solve the issue of missionaries and Savage Classical Predicate Calculus review summarized in principle, grasp the artificial intelligence programming language Prolog, to understand to solve problems by searching for the realization of the idea of artificial intelligence.