Prolog count the number of times a predicate is true November 28, 2023 by Tarik In SWI-Prolog: aggregate_all(count, is_man(X), Count).