カウント付きのプロローグルールを作成する

Question

mother(X, Y):- child(Y, X), female(X). 

Xが少なくとも3人の子供の母親であるかどうかを調べるにはどうすればよいですか？ child(Y,X)が何回起こるかを見るために何らかの集合体を使用しなければならないでしょうか？あなたがしたいが、私はチャイルズの最小数は、固定数ではない場合、次の例は、

motherOf3OrMore(X) :- 
    female(X), 
    findall(Y, child(Y, X), L), 
    length(L, N), 
    N >= 3. 

を助けることができることと思いますかを理解する

Answer 1

わからない（3）あなたは、それをパラメータとして渡すことができます

motherOfMore(X, N) :- 
    female(X), 
    findall(Y, child(Y, X), L), 
    length(L, M), 
    M >= N.