非Prolog逻辑编程

Question

是否有任何优秀的非Prolog或Prolog逻辑编程语言？

谁有或有任何良好的经验？

Answer 1

我强烈推荐The Reasoned Schemer, by Dan Friedman, Oleg Kiselyov, and Will Byrd。它介绍了miniKanren，一种在Scheme上构建的小型（三核运算符）逻辑编程语言。使用起来很愉快，尤其是允许统一模式匹配的matche宏。

Answer 2

Answer Set Programming是一个非常强大的逻辑编程范例。 clasp/clingo answer set solver已经取得了很大的成功。

Answer 3

我通过答案集编程介绍了DLV和模型，这基本上是逻辑编程。

Answer 4

查看定理证明助手，例如Coq，HOL和Isabelle。

某些类型系统（例如，Agda2中）也可视为逻辑编程。

Answer 5

您可以查看CLIPS。它的结构类似于Lisp（很多parens），但它的设计用于构建专家系统;我没有看到Prolog解决CLIPS无法解决的问题。像Prolog一样，它基于构建事实然后针对它们运行查询。

Answer 6

还有用Clojure编写的非常快的miniKanren实现，名为core.logic。

还有一些关于使用它的教程：

https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer

https://github.com/frenchy64/Logic-Starter/wiki

http://objectcommando.com/blog/2011/11/04/the-magical-island-of-kanren-core-logic-intro-part-1/

http://clojure.com/blog/2011/12/08/lojic-part-two.html

Answer 7

水星和奥兹想起了水星和奥兹。还有Datalog这是Prolog的限制版（非图灵完整版）。