使用计数创建序言规则

【问题标题】：Creating a prolog rule with count使用计数创建序言规则
【发布时间】：2016-12-02 18:24:31
【问题描述】：

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

我如何获得代码来确定X 是否是至少 3 个孩子的母亲？我是否必须使用某种聚合来查看child(Y,X) 会发生多少次？

【问题讨论】：

【解决方案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.

【讨论】：