Prolog - Problem mit Klausel geht in beide Richtungen

Question

Ich habe eine Reihe von Regeln;

family(Mother,Father,Children). 

Wo Kinder ist eine Liste (z [ag, bg]).

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

Mit der obigen Klausel gibt es mir richtig die Kinder, wenn ich ein Elternteil einlege. Wenn ich jedoch ein Kind hineinsetze, kann ich die Eltern nicht bekommen.

Ich habe auch versucht, eine Klausel für Child zu machen;

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

Wo Mutter und Vater arbeiten korrekt, aber ich brauche beide Variablen auf Y zu gehen.

Irgendwelche Ratschläge?

Answer 1

Sie könnten das Kind Prädikat vereinfachen:

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