5.2.1 Predicates that operate on strings
AllApplicationManualNameSummaryHelp

Availability:built-in
Sourceterm_string(?Term, ?String, +Options)
As term_string/2, passing Options to either read_term/2 or write_term/2. For example: 
?- term_string(Term, 'a(A)', [variable_names(VNames)]).
Term = a(_G1466),
VNames = ['A'=_G1466].
ClioPatria (version V3.1.1-21-gb8003bb)