Prolog — 对称谓词

我必须在序言中模拟家谱。 我有对称谓词的问题。Facts:

parent(x,y).
male(x).
female(y).
age(x, number).

Rules:

blood_relation让我头疼。这就是我所做的：

blood_relation(X,Y) :- ancestor(X,Y).
blood_relation(X,Y) :- uncle(X,Y)
                    ; brother(X,Y)
                    ; sister(X,Y)
                    ; (mother(Z,Y),sister(X,Z))
                    ; (father(Z,Y),sister(X,Z))
                    ; (father(Z,Y),brother(X,Z)).
blood_relation(X,Y) :- uncle(X,Z)
                    , blood_relation(Z,Y).

我得到了我认为满意的结果（我有双打印 - 我可以解决这个问题），问题是我希望这种关系是对称的。现在不是。

blood_relation(johns_father, john):yes 
blood_relation(john,johns_father): no

那么..有没有办法解决这个问题。 我需要查询：所有不在 Blood_relation 中的对..

Update:

第一个语句应该满足什么类型的关系？ 血液关系（X，Y）：-血液关系（X，Y）。

抱歉..这是一个错误的复制/粘贴..它

blood_relation(X,Y):-ancestor(X,Y).

现在固定在上面。

以下是其他规则：

father(X,Y) :-
  parent(X,Y),male(X).  
mother(X,Y) :-
  parent(X,Y),female(X).  
brother(X,Y) :-
  parent(Z,X),parent(Z,Y),
  male(X).  
sister(X,Y) :-
  parent(Z,X),parent(Z,Y),
  female(X).  
grandFather(X,Y) :-
  parent(Z,Y),parent(X,Z),
  male(X).  
grandMother(X,Y) :-
  parent(Z,Y),
  parent(X,Z),female(X).  
uncle(X,Y) :-
  mother(Z,Y),brother(X,Z).  
ancestor(X,Y) :-
  ancestor(X,Y).  
ancestor(X,Y) :-
  parent(X,Z),ancestor(Z,Y).

母亲的兄弟是叔叔的定义。这有点奇怪。我有需要实施的规则，但除此之外我不知道如何实施规则。我只是很困惑。

知道如何制作blood_relation对称？和not_blood_relation是一个新规则。我需要查询。这个实在是让我很头疼。也许是因为关系写得像垃圾。

没有更多的事实了。就这样。所有规则，所有事实。

query.. not(blood_relation(X,Y))不起作用，我真的不知道为什么。 例如查询：

age(X,Y), Y>18,  
not(parent(X,Z)),write(X),nl,fail.

工作得很好

使特定谓词对称的简单解决方案与一个不错的解决方案相差不远。为了一般性起见，让我们看一下友谊关系，这样人们就不会被叔叔之类的人绊倒。

以下是一些详细说明友谊关系的事实（例如，数字是用户 ID，参数的特定顺序来自发起友谊的人）。

friends(1,2).
friends(5,2).
friends(7,4).

你最初会认为这样的规则“friends(A,B) :- friends(B,A).” 会解决问题，但这会导致无限递归，因为它告诉序言，如果它只是再交换一次参数，它可能会起作用。有一个谓词称为“@</2”，告诉您一个术语（甚至是一个变量）是否按照“术语的标准顺序”出现在另一个术语之前。技术含义在这里并不那么重要，但我们关心的是，对于两个不同的术语来说，它只是正确的对于它们的一个排序。我们可以用它来打破无限递归！

这条规则将负责制作“friend/2“对称。

friends(A,B) :- A @< B, friends(B,A).

尽管这很简洁，但有一种方法可以让您should用于大型项目。回想一下，我的事实列表中参数的顺序具有一些实际意义（谁发起了友谊）。添加最终规则破坏了将来对该信息的访问，并且对于阅读代码的其他人来说，将对称属性隐藏在一行代码中，这在面对硬编码数据块时很容易被忽略。

考虑工业级解决方案：

friended(1,2).
friended(5,2).
friended(7,4).

friends(A,B) :- friended(A,B).
friends(A,B) :- friended(B,A).

它体积较大，但它可以清晰地读取，无需使用晦涩的谓词，并保留原始信息（有一天您可能会在实际应用程序中再次需要这些信息）。

--

至于寻找对don't具有特定属性，请确保当您使用否定来查找实际个体时，始终包含一些谓词以在规则中提供上下文。

potential_enemies(A,B) :- user(A), user(B), \+ friends(A,B).