简单的序言程序过早返回false

Question

自从我在Prolog中编程以来已经有一段时间了。 今天，我试图编写一个简单的程序。 它列出了谁属于同一家庭的一些事实。 如果两个人属于同一个家庭，则他们不能互赠礼物。 我想让所有允许某人赠送礼物的人（或至少一个人）。

family(john, jack).
family(matt, ann).
family(ann, jack).
family(jordan, michael).
family(michael, liz).

sameFamily(X, Y) :-
  family(X, Y).
sameFamily(X, X) :-
  false.
sameFamilySym(X, Y) :-
  sameFamily(X, Y).
sameFamilySym(X, Y) :-
  sameFamily(Y, X).
sameFamilyTrans(X, Z) :-
  sameFamilySym(X, Y),
  sameFamilySym(Y, Z).

gift(X, Y) :-
  not(sameFamilyTrans(X, Y)).

某些查询，如果sameFamilyTrans/2返回false时，他们其实应该返回true 。

sameFamilyTrans/2显然是错误的。 我认为我需要保留一份中间过渡性清单。 像这样：

sameFamilyTrans(X, Z, [Y|Ys]) :-
  sameFamilySym(X, Y, []),
  sameFamilyTrans(Y, Z, Ys).

但是我不知道该怎么称呼。

PS我正在使用SWI-Prolog，如果有什么不同的话。

Answer 1

是的，您的方向正确。 诀窍是用一个空的累加器调用传递闭包，并在每个步骤中检查是否找到一个循环（即，我们以前是否见过这个家庭成员。正如“ false”所指出的，人员需要在进入not之前已经实例化了。

因此，总的来说，这可行：

family(john, jack).
family(matt, ann).
family(ann, jack).
family(jordan, michael).
family(michael, liz).

sameFamily(X, Y) :-
  family(X, Y).
sameFamilySym(X, Y) :-
  sameFamily(X, Y).
sameFamilySym(X, Y) :-
  sameFamily(Y, X).

sameFamilyTrans(X, Y, Acc) :-
  sameFamilySym(X, Y),
  not(member(Y,Acc)).

sameFamilyTrans(X, Z, Acc) :-
  sameFamilySym(X, Y),
  not(member(Y,Acc)),
  sameFamilyTrans(Y, Z, [X|Acc]).

person(X) :- family(X, _).
person(X) :- family(_, X).

gift(X, Y) :-
  person(X),
  person(Y),
  X \= Y,
  not(sameFamilyTrans(X, Y, [])).

有一点背景：传递闭包实际上不是一阶可定义的（请参阅https://en.wikipedia.org/wiki/Transitive_closure#In_logic_and_computational_complexity ）。 因此可以预料，这将有些棘手。

Answer 2

否定在Prolog中的实施非常简单。 仅当否定查询被充分实例化时，您才能实质上获得有用的答案。 为此，请定义一个描述您正在考虑的所有人员的关系person/1 。 然后您可以编写：

gift(X,Y) :-
   person(X),
   person(Y),
   \+ sameFamily(X,Y).

sameFamily/2的定义还有另一个问题。