Swi Prolog：如何使用規則計算元素個數（非查詢）

Question

如上所述，如何使這成為可能？ 例如：

**Facts:**
parent(child, parent).

parent(child, parent2).

parent(child2, parent).

parent(child2, parent2).

**Rules:**
childof(X,Y) :- parent(Y, X).  
number_of_child(X,Y):- X has Y number of child

我應該如何實施 number_of_child 規則？ 我的預期答案是 Y 將顯示 2（因為有 child 和 child2）或類似的東西。 謝謝你。

Answer 1

你應該了解setof/3 、 bagof/3和findall/3 。 它們是查找所有解決方案的通用 prolog 謂詞。

如果您想要一些特定於swi-prolog的內容來計算解決方案，那么您可以使用aggregate_all 。

num_children(X, N) :- aggregate_all(count, child_of(X, _Y), N).

https://www.swi-prolog.org/FAQ/SingletonVar.html