Bi-directional conversion between a term and a string. If String
is instantiated, it is parsed and the result is unified with Term.
Otherwise Term is‘written' using the option quoted(true)
and the result is converted to String.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in|Report abuse