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