SWI-Prolog -- term_to

Availability:built-in

term_to_atom(?Term, ?Atom)

True if Atom describes a term that unifies with Term. When Atom is instantiated, Atom is parsed and the result unified with Term. If Atom has no valid syntax, a syntax_error exception is raised. Otherwise Term is “written” on Atom using write_term/2 with the option quoted(true). See also format/3, with_output_to/2 and term_string/2.