SWI-Prolog Did You Know Did you know? s(CASP) add explanations to ASP Search Documentation:
Foreign code and Well Founded Semantics