SWI-Prolog Did You Know Did you know? s(CASP) add explanations to ASP Search Documentation:
Predicate thread_send_message/2