scryer prolog:主要用Rust编写的现代Prolog实现源码

qqthrust60757 15 0 ZIP 2021-02-09 05:02:19

scryer-prolog:主要用Rust编写的现代Prolog实现

推荐下载

PROLOG语言教程超星号:11075102

Visual prolog installer

TURBO PROLOG Tool Library

VisualProlog语言手册本文档描述可视化Prolog编程语言的语法和语义。VisualProlog是一种基于逻辑的强类型面向对象编程语言。编程语言Prolog。

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

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

PROLOG程序设计超星号:10248941

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

用户评论

请输入评论内容

评分：

暂无评论

scryer prolog:主要用Rust编写的现代Prolog实现 源码