Prologue de compter le nombre de fois qu'un prédicat est vrai

Je veux compter le nombre de fois qu'un personnalisé prédicat est vrai.
Par exemple, j'ai le code suivant:

is_man(john).
is_man(alex).
?:-is_man(X).

X sera de retour de john, puis, si je presse le point-virgule, il sera également de retour d'alex, puis faux.

Je veux construire quelque chose comme:

count(is_man(X), Count).

Et ceci pour revenir

Count = 2

Comment puis-je le faire?

InformationsquelleAutor Victor Blaga | 2011-05-19