Prolog：消除间接关系中的循环

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

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

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

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

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

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

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

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

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

最后，这是您可以定义的方法not_member:

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

Demo.