dt class="pubdef">int PL_put_string_nchars(term_t t, size_t len, const char *s)dt class="pubdef">int PL_put_string_nchars(term_t -t, size_t len, const char *chars)