SWI-Prolog Did You Know Did you know? s(CASP) implements ASP without grounding Search Documentation:
Predicate list_frequency/3

Sorry, No manual entry for list_frequency/3