count - 将 Prolog 目标作为输入放在第一个参数位置，并返回此目标在第二个参数位置成功的次数

Question

正如标题所说，我想编写一个执行此操作的程序。

一个例子是：

?- count(member(X,[1,2,3]), N). 

N = 3 

Yes

但不仅适用于内置成员，还适用于一些运算符，例如：

?- count(17 =:= 12 + 5, N). 

N = 1 

Yes

有人可以帮我开始吗？

Answer 1

试试这个：

?- findall(., Goal, Ls), length(Ls, L).

例子：

?- findall(., member(X,[1,2,3]), Ls), length(Ls, L)。
L = 3 ,
... .

Answer 2

library( aggregate ) 已实现为您的问题提供解决方案，还有更多...

?- aggregate(count, X^member(X,[1,2,3]), N).
N = 3.

?- aggregate(count, 17 =:= 12 + 5, N).
N = 1.