2

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

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

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

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

我正在尝试编写一个关系indirect(user1,user1)，它会告诉我user1 是否间接跟随user2。但是，我无法消除循环关系。

就像在给定的示例中一样， michael -> ana -> bob -> michael 将导致循环。

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

4

2 回答 2

2

您可以制定一个规则，传递您迄今为止“见过”的额外用户列表，并忽略来自这些用户的以下内容：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).

演示。

于 2014-12-02T21:24:49.290 回答
1 
indirect( A0,A) :-
   closure(follows, A0,A).

参见的定义。closure/3

于 2014-12-02T21:59:38.027 回答