Did you know ... Search Documentation:
Predicate atom_string/2
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2020-01-20T21:46:50):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

?- S="s\u2200", string(S), atom_string(A,S), atom(A).

S = "s∀",

A = 's∀'.

?- S="s\x5E", string(S), atom_string(A,S), atom(A).

S = "s^",

A = 's^'.

?- S="s\'", string(S), atom_string(A,S), atom(A).

S = "s'",

A = 's\''.

?- S="s'", string(S), atom_string(A,S), atom(A).

S = "s'",

A = 's\''.

Peter Ludemann said (2018-09-23T16:13:45):0 upvotes 0 0 downvotes
Picture of user Peter Ludemann.

?- atom_string(foo, Z).

Z = "foo".

?- atom_string("foo", Z).

Z = "foo".

?- atom_string(Z, "foo").

Z = foo.

?- atom_string(Z, 'foo').

Z = foo.