parent_of prolog

Question

Я новичок в прологе и хотел бы получить совет.

У меня есть некоторые факты:

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 правило, без использования отношения третьей стороны.