Erlang 中非短路布尔运算符有什么用？
我正在通过 LearnYouSomeErlang 网络书学习 Erlang。在学习时令我印象深刻的一件事是非短路布尔合取和析取运算符，即； 和和或。这些运算符的用例是什…
“：=”和“==”在水星
我最近在 Mercury 中看到了这个代码示例： append(X,Y,Z) :- X == [], Z := Y. append(X,Y,Z) :- X => [H | T], append(T,Y,NT), Z <= [H | NT]. 作为…
Prolog Nim 游戏 - 超出本地堆栈错误
我最近一直在做一些Prolog。我读过《Prolog 的艺术》一书。他们在那里实现了 Nim 游戏。所以我将其重写为 SWI-Prolog，除了这个 Out of local stack …
附加到表单如何工作？ （SICP 的逻辑编程部分）
我目前正在学习 SICP 的逻辑编程部分，但我陷入了有关逻辑推论的示例中，尤其是附加到表单规则。它们如何工作？我不太明白的是第二条规则 cdr-downs …
Datalog、CLIPS、Prolog
和很多程序员一样，我在大学里学过 Prolog，但只学了很少的部分。我理解Prolog和Datalog密切相关，但是Datalog更简单？另外，我相信我读到 Datalog 不…
帮助了解 prolog 的子句
emissionOf(alpha). emissionOf(beta). detected(proton), detected(electron) :- emissionOf(alpha), emissionOf(beta). 我面临的问题是，由于某些（…
关系从句逻辑问题：什么是 Herbrand 解释
我很难掌握关系从句逻辑，我不确定这是否是提问的地方，但如果有人可以提供以下问题的指导，这将对我的修改有很大帮助。 设 P 为程序： academic(X); …
我应该如何在 Maude 中实施点分析？
我将实现一个指向分析算法。我想主要基于Whaley和Lam的算法来实现这个分析。 Whaley 和 Lam 使用基于 BDD 的 Datalog 来表示和计算点分析关系。 下面…
.NET 的逻辑变量支持
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
Python 中的关系/逻辑编程？
我是一名长期的 Python 开发人员，最近接触了 Prolog。我喜欢在某些类型的任务中使用关系规则的概念，并且想将其添加到我的技能中。 Python 有什么好…
Java 嵌入式 Prolog 解释器/编译器
我正在开发一个 Java 应用程序，它需要执行一些复杂的逻辑规则推导作为其功能的一部分。我想用 Prolog 或其他一些逻辑/约束编程语言而不是 Java 来编…
