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