SWI-Prolog Did You Know Did you know? s(CASP) implements top-down answer set programming (ASP) Search Documentation:
Predicate db_sync/1