附加到表单如何工作？ （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) s…
我应该如何在 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 …
Java 嵌入式 Prolog 解释器/编译器
我正在开发一个 Java 应用程序，它需要执行一些复杂的逻辑规则推导作为其功能的一部分。我想用 Prolog 或其他一些逻辑/约束编程语言而不是 Java 来编…
Prolog 方言 Prova 的文档
我想从 SWI-Prolog 切换到 Prova - 但它似乎比预期更难： 像 succ() 不可用，并且像 Var1+Var2>Var3 这样的操作不起作用（显然它必须是 Var3 才有效…
- 共 1 页
- 1
