programming-languages - 非 Prolog 逻辑编程

Question

有没有好的非 Prolog 或基于 Prolog 的逻辑编程语言？

谁有这方面的经验或有什么好的经验？

score 8 · Accepted Answer

答案集编程是一种非常强大的逻辑编程范式。我在使用clasp/clingo 答案集求解器方面取得了很大的成功。

score 8 · Accepted Answer

I highly recommend The Reasoned Schemer, by Dan Friedman, Oleg Kiselyov, and Will Byrd. It introduces miniKanren, a small (three core operators) logic programming language built atop Scheme. It's a joy to use, particularly with the matche macro that allows unifying pattern matches.

score 4 · Accepted Answer

4

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

于 2011-06-25T03:53:31.650 回答

score 3 · Accepted Answer

看看Coq、HOL和Isabelle等定理证明助手。

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

score 2 · Accepted Answer

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

score 2 · Accepted Answer

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

还有一些使用它的教程：

score 1 · Accepted Answer

水星和奥兹浮现在脑海中。还有 Datalog，它是 Prolog 的受限（非图灵完备）版本。

7 回答 7