Prolog

2022年10月9日 (日) 05:30的版本

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

Prolog logic programming language

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

@@ 第1行： / 第1行： @@
 {{SeeWikipedia}}
-Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它创建在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在[[Artificial intelligence|人工智能]]的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。
+Prolog logic programming language
-==实现==
+==简介==
+Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它创建在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在[[Artificial intelligence|人工智能]]的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。
+[https://www.metalevel.at/prolog The Power of Prolog]
+==功能==
+==指南==
+==项目==
 *[[GNU Prolog]]
 *[[SWI-Prolog]]
+==文档==
 ==图书==
@@ 第13行： / 第24行： @@
 *[http://www.vaikan.com/why-learning-prolog-can-make-you-a-better-programmer/ 为什么说学习Prolog语言能让你成为更好的程序员]
+[[category:programming language]]
+[[category:proof Assistants]]
 [[category:artificial intelligence]]