规则中的 Prolog 规则

Question

我有一个简单的序言程序，它试图根据信任规则和知道规则来确定谁信任谁。在这里

know(joe,jack).
know(joe,sue).
know(joe,betty).
know(sue,betty).
know(jack,betty).
know(bill,betty).

knows(X,Y):- know(X,Y);know(Y,X).

trust(jack,joe).
trust(bill,joe).
trust(betty,jack).

knows 规则是对称且可传递的，trusts 规则由

定义

Person X trusts Y if and only if
-X inherently trusts Y, or
-X knows two DIFFERENT people who trust Y.

信任不是对称的，也不是传递的。

我不确定如何在规则中执行规则，变量似乎让我很困惑，因为试图只使用 2 个变量作为参数，但在规则中使用 4。任何帮助将不胜感激，谢谢。

Answer 1

您的问题以某种方式表明您认为您必须在谓词的头部包含出现在谓词主体中的所有变量。这不是必需的。假设我想找出问题定义中某人知道的人数：

?- bagof(X, knows(betty, X), Xs), length(Xs, N).

您可能真的只是想知道 Betty 认识 4 个人，但无论如何，顶层都会写出 Betty 认识的人的列表。所以你把它放在一个谓词中：

knows_count(X, N) :-
    bagof(Y, knows(X, Y), Ys),
    length(Ys, N).

所以现在你只看到你需要看到的：

?- knows_count(betty, N).
N = 4.

?- knows_count(X, N).
X = betty, N = 4 ;
X = bill,  N = 1 ;
X = jack,  N = 2 ;
X = joe,   N = 3 ;
X = sue,   N = 2.

您现在已经“隐藏”了knows_count/2 正文中的人员列表。

要定义trusts/2 的第二种情况，您可以这样做：

trusts(X, Y) :-
    knows(X, A), trust(A, Y), ... % and so on

正如@mat 所指出的，现在您所要做的就是确保谓词正文中“X 认识”的所有人都不是同一个人。请参阅 link in the comment by @mat 或在 Stackoverflow 中搜索 [prolog] dif。