您现在的位置是:源码地带 > 资源下载

用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理

  • 上传时间: 2016-11-15
  • 上传用户:jianmingcao
  • 资源积分:2 下载积分
  • 标      签: Prolog

资 源 简 介

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

相 关 资 源