1:- module(swi_atoms,
    2          [ restyle_identifier_ex/3,
    3            prefix_atom_suffix/4
    4          ]).

 restyle_identifier_ex(+Style, +Text, ?Atom) is semidet

Restyles Text to Atom. Predicate restyle_identifier/3 fails for incoming text with leading underscore. Standard atom:restyle_identifier/3 fails for '_' because underscore fails for atom_codes('_', [Code]), code_type(Code, prolog_symbol). Underscore (code 95) is a Prolog variable start and identifier continuation symbol, not a Prolog symbol.

Strips any leading underscore or underscores. Succeeds only for text, including codes, but does not throw.

Arguments:

Text	- string, atom or codes.
Atom	- restyled.

   21restyle_identifier_ex(Style, Text, Atom) :-
   22    split_string(Text, "_", "_", Strings),
   23    atomic_list_concat(Strings, '_', Text_),
   24    restyle_identifier(Style, Text_, Atom).

 prefix_atom_suffix(?Prefix, ?Atom0, ?Suffix, ?Atom) is nondet

Non-deterministically unifies Prefix, Atom0 and Suffix with Atom. Applies two atom_concat/3 predicates in succession. Unifies from prefix to suffix for modes (?, ?, ?, -) else backwards from suffix to prefix. Empty atom is a valid atom and counts as a Prefix, Suffix or any other argument if unbound.

   34prefix_atom_suffix(Prefix, Atom0, Suffix, Atom) :-
   35    var(Atom),
   36    !,
   37    atom_concat(Prefix, Atom0, Atom_),
   38    atom_concat(Atom_, Suffix, Atom).
   39prefix_atom_suffix(Prefix, Atom0, Suffix, Atom) :-
   40    atom_concat(Atom_, Suffix, Atom),
   41    atom_concat(Prefix, Atom0, Atom_)