ставит цель 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

библиотека (aggregate) была реализована, чтобы обеспечить решения для вашей проблемы, и многое другое ...

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

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