私は、次の事実が含まれているプロローグで家系プログラム持っプロローグ

Question

の状況ですべての父親を検索：

male(alex). 
male(david). 
male(peter). 
etc 
... 
female(sofia). 
etc 
.... 
parent(alex, peter). 
parent(sofia, peter). 
etc 
.... 

とのようないくつかのルール：

father(X, Y) :- parent(X, Y), male(X). 
mother(X, Y) :- parent(X, Y), female(X). 
etc 
.... 

を私はすべての人の父親を見つける必要があります2人以上の子供がいます。
私は私のプログラムのすべての父親を通って、自分の子供をリストに入れて長さを数えなければならないと思う。> 2ならば、この父親を別のリストに加えるか、

Answer 1

一般的に、少なくともNの子供がいるすべての父親を見つけたい場合は、2人の子供しか扱っていない場合よりもはるかに簡単なアプローチが利用できます。 2人の子供は異なっている。

プロローグでは、このルールは次のようになります。あなたが今やらなければならないことをリストにfather_of_two述語に一致するすべての人々を集めている

father_of_two(X) :- 
    father(X, A), 
    father(X, B), 
    A \= B. 

。