Programming languages 非Prolog逻辑编程

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

---

谁对它有经验或有什么好的经验？

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

我强烈推荐。它介绍了miniKanren，一种构建在该方案之上的小型（三核运算符）逻辑编程语言。使用它是一种乐趣，特别是对于允许统一模式匹配的宏。

我是通过答案集编程（基本上是逻辑编程）介绍DLV和模型的。

是一种非常强大的逻辑编程范式。我在水星和绿野仙踪方面取得了很多成功。还有Datalog，它是Prolog的一个受限（非图灵完整）版本。

看看定理证明助手，如，和

---

某些类型的系统（例如in）也可以被视为逻辑编程。

还有一种非常快速的miniKanren实现，叫做

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

---

我脑海中浮现出的是我头脑中的计划和口齿不清。。。你想开发什么样的应用程序？@Brian Driscoll虽然逻辑编程模块可以用函数式编程语言（如LISP/Scheme）开发，但从直接意义上讲——不，它们不属于语言范畴。不过方法不同。CLIPS是一个“基于前向链接规则的系统”（就像Java一样），与Prolog不同，Prolog是一个“基于后向链接规则的系统（名义上基于经典一阶逻辑片段和特定的构造性“定理证明器”）。非逻辑部分是它的生命力所在。现在……基于“逻辑”"一个人有一个被计算的总体计划，不像在前向链表中，实际发生的事情是不太清楚的。我不确定将Coq分类为逻辑编程语言是否准确。它是否能够以与Prolog相同的方式进行求解？可能可以在Coq中进行统一和回溯，但它仍然有那个have尚未纠正。