SWI-Prolog特性

人工智能中专家系统开发工具Visual Prolog 6.0课件

第0章人工智能语言—PROLOG简介1一、什么是人工智能语言1二、Prolog语言及其基本结构2１、事实2２、规则2３、目标（问题）2三、Prolog程序的简单例子3四、Prolog语言的常用版本41

PROLOG程序设计超星号：10248941

Prolog入门教程

Prolog 环境下建立专家系统。Expert System是一类高端软件。

Visua Prolog 7.3

标题与描述解析 标题"language_example_prolog"暗示了我们正在探讨的是Prolog语言的一个实例或示例。描述中的"prolog language_example_prolog"

Prolog + CG是Prolog的Java实现,其扩展实现了John Sowa的概念图(CG)理论的子集。 CG是与术语同等的一流数据类型。 还包括面向对象的扩展。

turbo prolog2.0 在控制台下，进行prolog程序编写和运行.

一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。