谓词演算 资源专区

本专区汇聚了各类基于 谓词演算 开发的源码资源,共计 1 篇资源供开发者免费下载学习。

共找到 1 个资源
ASP 1 积分

Prolog 传教士与野人问题求解器

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

Prolog 人工智能 逻辑编程
0 0 查看详情