Prolog - Проблема с разделом в обоих направлениях

Question

У меня есть свод правил;

family(Mother,Father,Children). 

Где дети это список (например, [ag, bg]).

parent(X,Y) :- 
    family(X,_,_) -> mother(X,Y); father(X,Y). 

С предложением выше оно правильно дает мне детей, если я ставлю родителя. Однако, если я стану ребенком, я не могу получить родителей.

Я также попытался сделать предложение для Ребенка;

child(X,Y) :- 
    mother(A,X), 
    father(B,X), 
    Y=A,B. 

Где мать и отец работают правильно, но мне нужны обе переменные, чтобы перейти к Y.

Любые советы?

Answer 1

Вы могли бы упростить ребенка предиката:

child(X,Y) :- mother(Y,X); father(Y,X).