Prolog

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

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

Prolog logic programming language

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

Prolog is ...

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

@@ 第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>
 ==链接==