Оператор «или» возвращает только первое заявление

Question

У меня есть пример типичных отношений.

m(thomas). 
m(leon). 
w(nina). 
born(thomas, nina, leon). 

born(Father, Mother, Child) :- born(Mother, Father, Child). 
father(Father, Child) :- born(Father, Mother, Child), m(Father). 
mother(Mother, Child) :- born(Father, Mother, Child), w(Mother). 
parent(Parent, Child) :- (father(Parent, Child); mother(Parent, Child)). 

Когда я спрашиваю после родителей, отец будут перечислены только:

?- parent(X, leon). 
X = thomas ; 
X = thomas ; 
..... 

Я хочу обоих родителей:

?- parent(X, leon). 
X = thomas ; 
X = nina ; 

Что я могу сделать?

Edit: проблема:

Моя проблема была не or, потому что normally возвращает оба утверждения.

Проблема заключалась в том, что born/3, в коде выше, представляет собой цикл. Я пытался заставить друг друга обменяться матерью и отцом.

Edit: исправление:

Я получил два ответа на это от ChristianF и CapelliC. Они оба помогли мне понять, что было не так с моим заявлением.

Мое решение:

m(thomas). 
m(leon). 
w(nina). 
b(thomas, nina, leon). 

born(Father, Mother, Child) 
    :- (m(Father), w(Mother), b(Father, Mother, Child)); b(Mother, Father, Child). 
father(Father, Child) :- born(Father,_, Child), m(Father). 
mother(Mother, Child) :- born(_, Mother, Child), w(Mother). 
parent(Parent, Child) :- (father(Parent, Child); mother(Parent, Child)). 

Answer 1

Проблема заключается в том, что существует множество способов показать born для отца, так как существует бесконечный recursi на.

m(thomas).                 
m(leon).                  
w(nina).                  

born(thomas, nina, leon).             

born_sym(Father, Mother, Child) :- born(Father, Mother, Child).    
born_sym(Father, Mother, Child) :- born(Mother, Father, Child).    

father(Father, Child) :- born_sym(Father, Mother, Child), m(Father).   
mother(Mother, Child) :- born_sym(Father, Mother, Child), w(Mother).   
parent(Parent, Child) :- (father(Parent, Child); mother(Parent, Child)).  

Answer 2

У вас есть 'петля' в правилах. Удалить правило Борна/3, и вы получите

?- parent(P,leon). 
P = thomas ; 
P = nina. 

редактировать так как вам нужно, что родитель мог бы остаться в первой или второй позиции «» независимо от пола, я хотел бы предложить

father(Father, Child) :- 
    m(Father), (born(Father, _, Child) ; born(_, Father, Child)). 

Я переместил гендерный тест перед запросом born/3, кажется более эффективным избежать повторения запроса ...

Answer 3

другое исправление с помощью cut в том, чтобы избежать бесконечной рекурсии:

m(thomas). 
m(leon). 
w(nina). 

born(thomas, nina, leon) :- !. 
born(Father, Mother, Child) :- born(Mother, Father, Child). 

father(Father, Child) :- born(Father, Mother, Child), m(Father). 
mother(Mother, Child) :- born(Father, Mother, Child), w(Mother). 
parent(Parent, Child) :- father(Parent, Child); mother(Parent, Child). 

Просто Другой способ исправить зацикливание, может быть, не очень хороший стиль :)