用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理
用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理,掌握人工智能程序设计语言Prolog,理解通过搜索求解问题实现人工智能的思想。
2016-11-15
183