Я хочу подсчитать количество раз, когда пользовательский предикат является истинным. Например, у меня есть следующий код:
is_man(john).
is_man(alex).
?:-is_man(X).
X вернет john, тогда, если я нажимаю точку с запятой, он также вернет alex, а затем false.
Я хочу создать что-то вроде:
count(is_man(X), Count).
И чтобы вернуться
Count = 2
Как я могу это сделать?