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

Sorry, No manual entry for udp_term_string/3