A.1 library(aggregate): Aggregation operators on backtrackable predicates
All Application Manual Name SummaryHelp

Source[semidet,multifile]sandbox:safe_meta(+Goal, -Called)
Declare the aggregate meta-calls safe. This cannot be proven due to the manipulations of the argument Goal.