Prolog“，”运算符未按预期工作？

Question

我对 prolog 非常不熟悉，但我在学校项目中需要它。因此，如果我使用不清楚的语言或不正确的术语，请谅解。我的麻烦是我的代码根本没有按我的预期工作。这是我在知识库中的一些代码：

output(mn,hp,hp,hp). 
output(hn,mn,hp,lp).
output(ln,hp,mp,hp).
input(lp,mp,mp,lp):-output(hn,mn,hp,lp).

这是我的查询：

?- input(X,mp,mp,lp),output(hn,mn,hp,lp).

我希望它返回 X = lp，就像知识库中的 if-then 语句一样。但是，它返回X=hp、X=mp 和X=lp，这不是我想要的。 我使用“trace”来查看它是如何推理的，并且我看到它需要其他输出。我认为“，”运算符的意思是“和”，因此它只会查找具有值（hn、mn、hp、lp）的输出。如何让我的代码只查找具有正确输出值的 if-then 语句？是我对“，”运算符的理解有误，还是因为我的知识库问题？

---

编辑：这是我在 SWISH 中的代码的链接：https://swish.swi-prolog.org/p/i%20wanna%20bash%20my%20head%20in.pl#&togetherjs=AQ4zzkAQk4

---

编辑 2：我对这个项目的目标如下：我试图用这个程序解释一个模糊的认知图。我希望程序在给定输出概念的情况下确定缺失输入概念的值。因此，我需要程序在 output() 中查找具有正确值的子句，然后确定相关 input() 中的值。

Answer 1

整个程序（88行）：

?- output(hn,mn,hp,lp).
true.

因此，这可以在您的查询中完全忽略 - 它是 true 无论如何（仅限常量）并且没有进一步的影响。

那么重要的是：

?- input(X,mp,mp,lp).
X = mp ;
X = lp ;
X = hp ;
false.

不需要 Prolog。使用文本搜索确认：

$ grep "mp,mp,lp" proggy.pl

input(mp,mp,mp,lp):-output(mn,hp,hp,hp).
input(mp,mp,lp,hp):-output(hn,lp,hp,hp).
input(mp,mp,lp,mp):-output(hn,mp,hp,hp).
input(lp,mp,mp,lp):-output(hn,mn,hp,lp).%this one is a pain in my ass
input(hp,mp,mp,lp):-output(ln,hp,mp,hp).
input(mp,mp,lp,lp):-output(ln,hp,mp,hp).

以上，这三行

input(mp,mp,mp,lp):-output(mn,hp,hp,hp).
input(lp,mp,mp,lp):-output(hn,mn,hp,lp).%this one is a pain in my ass
input(hp,mp,mp,lp):-output(ln,hp,mp,hp).
      <-><------> 
       X   MATCH

将匹配查询：来自mn,hn,ln 的X 的3 个结果。

按预期工作。

Answer 2

这是一个更简单的查询：

?- input(X,mp,mp,lp).

这样成功了3次：

X = mp ;
X = lp ;
X = hp ;
false.

我假设您理解这是为什么：input 有几个匹配子句，X 的值不同，并且正文成功。

现在，您是对的，, 是连词，并且一般而言，目标A, B 的成功率低于单独的A 或B，但永远不会更频繁。 A 和 B 通常相互约束。但是，非常重要的是：如果A 和B 不共享任何变量，那么它们是独立的。 在这种情况下，答案序列将是@987654336 答案的笛卡尔积@ 和B 的答案。如果单独A成功N次，单独B成功M次，那么没有共享变量的A, B会成功N*M次。

如果OtherGoal 还包含X 的出现，您只能期望看到更少的解决方案来解决?- input(X,mp,mp,lp), OtherGoal. 形式的查询。在您的查询中，情况并非如此。第一个合取成功了 3 次，第二个合取成功了 1 次，所以总体上你有 3 * 1 = 3 次成功，正如你所观察到的。

所以问题是：您想通过查询表达什么？你不能表达类似“给我input的解决方案，但只能通过应用output的某些子句”。