A.1 library(aggregate): Aggregation operators on backtrackable predicates
AllApplicationManualNameSummaryHelp

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.
ClioPatria (version no GIT?)