parent_of prolog

Question

我是新來的prolog，並希望得到一些建議。

我有一些事實：

male(tom). 
male(james). 
male(john). 
female(elly). 
female(joanne). 
female(evonne). 
brother(john,tom). 
brother(john,joanne). 
sister(elly,joanne). 
parent_of(evonne,john). 
parent_of(james,john). 

是可以定義一個parent_of規則，而不使用sister和brother？

Answer 1

起初，您應該有一些作爲父母關係核心的事實parent_of。那麼你可以通過將某個人作爲孩子或父母附加到某個事實來擴展這種關係。因此如果要附加子項，則需要使用siblings/2規則，如果要附加父項，則需要使用couples/2規則。

 
%if you want to attach a child by 'siblings' relation 
parent_of_rule(X, Y) :- 
     parent_of(X, Z), 
     siblings(Z, Y). 

 
%if you want to attach a parrent by 'couples' relation 
parent_of_rule(X, Y) :- 
     parent_of(Z, Y), 
     couples(X, Z). 

我不認爲這是有可能有一個parent_of_rule規則，而無需使用第三方關係。