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