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

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

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

scryer-prolog：主要用Rust编写的现代Prolog实现 (预估有个131文件)

.gitignore 10B

Dockerfile 959B

bimetatrans.pl 37KB

bimetatrans_tests.pl 155KB

README.md 9KB

ordsets.pl 19KB

crypto.pl 33KB

clpb.pl 57KB

xpath.pl 20KB

clpz.pl 264KB

batched_worklist.pl 17KB

format.pl 19KB

builtins.pl 46KB

.dockerignore 62B

Cargo.lock 42KB

LICENSE 1KB

.gitmodules 0B

README.md 911B

showterm.el 4KB

README.md 21KB

暂无评论

prolog语言教程

prolog语言教程

28 2019-06-04
PROLOG语言教程

PROLOG语言教程超星号：11075102

37 2019-06-04
visual prolog安装程序

Visual prolog installer

26 2019-06-26
TURBO PROLOG工具库

TURBO PROLOG Tool Library

40 2019-06-26
Visual Prolog语言手册

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

29 2019-07-06
Visual Prolog6.0

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

42 2018-12-19
Prolog语言教程

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

27 2019-07-17
PROLOG程序设计

PROLOG程序设计超星号：10248941

19 2019-07-23
Prolog入门教程

Prolog入门教程

20 2019-10-11
Building Expert Systems In Prolog

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

9 2020-07-19

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