虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是：虫虫下载站 > 资源下载 > 人工智能/神经网络 > 用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理

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

  • 资源大小：3 K
  • 上传时间： 2016-11-15
  • 上传用户：jianmingcao
  • 资源积分：2 下载积分
  • 标      签： Prolog

资 源 简 介

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

相 关 资 源

您 可 能 感 兴 趣 的

虫虫下载站版权所有 京ICP备2021023401号-1