Prolog

2022年10月9日 (日) 14:56的最后版本

您可以在Wikipedia上了解到此条目的英文信息 Prolog Thanks, Wikipedia.

Prolog logic programming language

[编辑] 简介

Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它创建在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。

Prolog is ...

a very simple language
a declarative language
a logic programming language
a homoiconic language
a very dynamic language
a very versatile language.

The Power of Prolog

[编辑] 功能

[编辑] 指南

[编辑] 项目

Awesome Prolog
Prolog Topic
GNU Prolog
SWI-Prolog
Erlog Prolog for an Erlang Application
Simply Logical Intelligent Reasoning by Example (Fully Interactive Online Edition)

[编辑] 文档

[编辑] 图书

[编辑] 图集

Simply Logical

[编辑] 链接

为什么说学习Prolog语言能让你成为更好的程序员

@@ 第5行： / 第5行： @@
 ==简介==
 Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它创建在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在[[Artificial intelligence|人工智能]]的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。
+Prolog is ...
+* a very simple language
+* a declarative language
+* a logic programming language
+* a homoiconic language
+* a very dynamic language
+* a very versatile language.
 [https://www.metalevel.at/prolog The Power of Prolog]
@@ 第13行： / 第22行： @@
 ==项目==
+*[https://github.com/klaussinani/awesome-prolog Awesome Prolog] [[文件:awesome.png]]
+*[https://github.com/topics/prolog Prolog Topic]
 *[[GNU Prolog]]
 *[[SWI-Prolog]]
+*[https://github.com/rvirding/erlog Erlog] Prolog for an [[Erlang]] Application
+*[https://github.com/simply-logical/simply-logical Simply Logical] Intelligent Reasoning by Example (Fully Interactive Online Edition)
 ==文档==
 ==图书==
+*[http://www.let.rug.nl/bos/lpn//index.php Learn Prolog Now!]
 *[http://en.wikibooks.org/wiki/Prolog Prolog Wikibooks]
+==图集==
+<gallery>
+image:Simply-Logical.gif|Simply Logical
+</gallery>
 ==链接==
@@ 第25行： / 第44行： @@
 [[category:programming language]]
+[[category:formal]]
 [[category:proof assistant]]
+[[category:reasoning]]
 [[category:artificial intelligence]]
+[[category:mathematical logic]]
+[[category:mathematics]]