Prolog 实现和/2、或/2、nand/2、nor/2、xor/2

Question

Closed. This question needs to be more focused 。它目前不接受答案。












想改善这个问题吗？更新问题，使其仅通过 editing this post 关注一个问题。

7年前关闭。



Improve this question




我想在 prolog 中实现以下谓词并将它们用于真值表:and/2, or/2, nand/2, nor/2, xor/2

例如，也许有人可以向我展示如何实现和/2，这样我就可以自己完成其他工作并将它们张贴在这里。

最佳答案

当心:您可能指的是 and/3 ，而不是 and/2 。 AND 是一个三元谓词，定义了 3 个 真值之间的关系，而不是 2。当然，您可以使用 Prolog 的内置机制，而不是具体化(= 使事情明确)，其中真值是隐式的。但首先，我将从三元关系开始，因为这使所有真值都变得明确，并且您还可以询问例如:“对于给定的操作，哪些真值会产生 false？”为了让您开始，and/3 真值表的一个条目，其中我使用原子 true 表示 bool 值 true:

and(true, true, true).

另外，还可以考虑使用 bool 约束，例如在 SICStus Prolog 和 GNU Prolog 中可用的约束，并让您以声明方式表达真值和 bool 表达式之间的关系。

在 SICStus Prolog 中使用 library(clpb) 的示例:

| ?- sat(X*Y =:= T), X = 0.
X = 0,
T = 0 ?

这表明如果连词的第一个参数为假，则整个连词也为假。此外，例如，我们可以使用 SICStus Prolog 的 CLP(B) 求解器来确定合取是可交换的，使用 taut/2

| ?- taut(A*B =:= B*A, T).
T = 1 ?

或普遍量化的变量，在 library(clpb) 中表示为原子:

| ?- sat(a*b =:= b*a).
yes

因此， bool 约束在处理二进制值时是非常有用的工具。

关于Prolog 实现和/2、或/2、nand/2、nor/2、xor/2，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/19632405/

上一篇：angularjs - 如何使用ng-click动态重新加载ng-repeat数据？

下一篇：ruby-on-rails - Paper_trail gem:未初始化的常量 VersionsController::Version

相关文章：

scheme - 协程是如何实现的？

c - 为什么 Linux memmove() 是这样实现的？

计算异或的算法

具有 2 个文件的 Java IO 性能 XOR

python - python中的异或密码-奇数长度字符串

prolog - 实现用户定义的算术函数

prolog - 部分字典/记录统一？

list - 如何找到列表列表中最长的列表？

java - 如何找到某个接口(interface)的所有实现？

prolog - 集合相等

Answer 1

当心:您可能指的是 and/3 ，而不是 and/2 。 AND 是一个三元谓词，定义了 3 个 真值之间的关系，而不是 2。当然，您可以使用 Prolog 的内置机制，而不是具体化(= 使事情明确)，其中真值是隐式的。但首先，我将从三元关系开始，因为这使所有真值都变得明确，并且您还可以询问例如:“对于给定的操作，哪些真值会产生 false？”为了让您开始，and/3 真值表的一个条目，其中我使用原子 true 表示 bool 值 true:

and(true, true, true).

另外，还可以考虑使用 bool 约束，例如在 SICStus Prolog 和 GNU Prolog 中可用的约束，并让您以声明方式表达真值和 bool 表达式之间的关系。

在 SICStus Prolog 中使用 library(clpb) 的示例:

| ?- sat(X*Y =:= T), X = 0.
X = 0,
T = 0 ?

这表明如果连词的第一个参数为假，则整个连词也为假。此外，例如，我们可以使用 SICStus Prolog 的 CLP(B) 求解器来确定合取是可交换的，使用 taut/2

| ?- taut(A*B =:= B*A, T).
T = 1 ?

或普遍量化的变量，在 library(clpb) 中表示为原子:

| ?- sat(a*b =:= b*a).
yes

因此， bool 约束在处理二进制值时是非常有用的工具。