![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Prolog
孤独的学者
我是一名电工
展开
-
SWI-Prolog特性
SWI-Prolog的特性SWI-Prolog是Prolog语言的通用实现。它健壮的多线程,扩展的数据类型,无限的算术, 文本的Unicode表示允许文档的自然表达 (例如, XML, JSON, RDF) 以及与其他编程范例交换数据。 其全面的底层接口C是高级接口C++、Java (捆绑的)、C#、Python、等(外部可用)的基础。提供了一个广泛的web服务器(HTTP)框架,它可以用于提供...翻译 2018-05-26 12:12:31 · 2742 阅读 · 0 评论 -
AMZI! PROLOG白皮书
一、Amzi! Prolog+ 逻辑服务器概述Amzi!架构体系使用示例详细的说明,如何使用Amzi!逻辑服务器将Amzi! Prolog与传统的编程语言集成在一起。 二、规则、Prolog及Amzi!规则、及它们与应用程序逻辑的关系,以及Prolog如何容易的实现基于规则的应用程序。 三、逻辑知识概述关于过程、事实、逻辑知识之间关系的讨论,以及虚拟机是如何实现逻辑知识应用程序的关键。一、Amzi...翻译 2018-07-11 17:44:12 · 1803 阅读 · 0 评论