逻辑编程 - The mini wiki

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

函数式逻辑编程，是在一个单一的编程语言中，组合函数式编程和逻辑编程两种编程范式。这种编程风格已经体现在多种编程语言中，包括Curry、Mercury和Oz等。

提供计算机领域科学文献的搜索服务，它只储存这些文献的相关元数据，如标题，作者，发表日期等。最早的DBLP只包含数据库系统和逻辑编程相关方面的文章，所以DBLP之前也可以是DataBase systems and Logic Programming的缩写。随着更多的其他计算机领域的内容的加入，发展成今天的DBLP。DBLP项目由德国特里尔大学的Michael Ley负责开发和维护。截至2018年已经有超过3,600,000文献。

罗伯特·安东尼·科瓦尔斯基是一位美籍英籍逻辑和电脑科学家，他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过。科瓦尔斯基长期任教爱丁堡大学和伦敦帝国学院，是Prolog的主要开发者之一，逻辑编程先驱。

提供计算机领域科学文献的搜索服务，它只储存这些文献的相关元数据，如标题，作者，发表日期等。最早的DBLP只包含数据库系统和逻辑编程相关方面的文章，所以DBLP之前也可以是DataBase systems and Logic Programming的缩写。随着更多的其他计算机领域的内容的加入，发展成今天的DBLP。DBLP项目由德国特里尔大学的Michael Ley负责开发和维护。截至2018年已经有超过3,600,000文献。

回答集编程是语法上类似逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中，否定为失败指示推导失败；在回答集编程中，它指示一个文字的一致性。

否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。

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

Curry，是一种实验式的函数程式语言程式语言，基于Haskell而实作，混合了函数程式语言与逻辑编程，也加入约束编程的特性。它的名称取自数学家哈斯凯尔·加里，在许多层面，它可以被视为是Haskell的超集合。