Report question

Question: aggregating predicates in SWI-Prolog