用計數創建序言規則

Question

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

如何獲取代碼以確定X是否至少有3個孩子的母親？我是否必須使用某種聚合來查看child(Y,X)會發生多少次？

Answer 1

不是一定要了解你想要什麼，但我想，下面的例子可以幫助

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

如果孩子的最小數量不固定數目（3），你可以把它作爲一個參數如下

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