count - Prolog ゴールを入力として最初の引数の位置に置き、このゴールが 2 番目の引数の位置で成功する回数を返します

Question

タイトルが示すように、これを行うプログラムを書きたいと思います。

例は次のとおりです。

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

N = 3 

Yes

ただし、組み込みメンバーだけでなく、次のような一部の演算子についても同様です。

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

N = 1 

Yes

誰かが私が始めるのを手伝ってくれますか?

Answer 1

library( aggregate ) は、問題の解決策を提供するために実装されており、さらに...

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

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