Question

我有一个用户事实列表定义为：

user(@michael).
user(@ana).
user(@bob).
user(@george).
user(@john).

等等。此外，我有一套事实：

follows(@michael,@ana).
follows(@ana,@bob).
follows(@bob,@michael).

我正在尝试编写一个间接关系（user1，user1），它将告诉我user1是否间接跟随user2。但是，我无法消除循环关系。

就像在给定的例子中一样，michael - ＆gt; ana - ＆gt;鲍勃 - ＆gt;迈克尔会引起一个循环。

从间接（user1，user2）的结果消除这些周期的最佳方法是什么？

Answer 1

您可以制定一条规则，传递您目前已“看到”的额外用户列表，并忽略以下来自这些用户：follows(A, B, Seen)。

为此，请定义一个包含实际规则的“跟随传递”规则，如下所示：

follows_tx(A, B) :- follows(A, B, []).

现在您可以通过以下方式定义follows/3规则：

follows(A, B, Seen) :-
    not_member(B, Seen),
    follows(A, B).
follows(A, B, Seen) :-
    follows(A, X),
    not_member(X, Seen),
    follows(X, B, [A|Seen]).

基本条款表示，如果A后面有B的事实，我们会认为只要我们之前没有看到B，就会证明该谓词。

否则，我们会找到关注A的人，通过检查not_member/2检查我们是否还没有看到该用户，最后直接或间接地查看该用户是否跟随B。

最后，您可以通过以下方式定义not_member：

not_member(_, []).
not_member(X, [H|T]) :- dif(X, H), not_member(X, T).

Demo.

Answer 2

indirect( A0,A) :-
   closure(follows, A0,A).

请参阅closure/3的{{3}}。

Prolog：从间接关系中消除周期

2 个答案: