[ Reference Manual | Alphabetic Index ]

Strings and Atoms

Built-ins to create, convert and decompose strings and atoms

Predicates

append_strings(?String1, ?String2, ?String3)
Succeeds if String3 is the concatenation of String1 and String2.
atom_length(+Atom, -Length)
Succeeds if Length is the length of Atom.
atom_string(?Atom, ?String)
Conversion between an atom and a string.
atomics_to_string(++List, -Dest)
Succeeds if Dest is the concatenation of the atomic terms contained in List.
atomics_to_string(++List, +Glue, -String)
String is the string formed by concatenating the elements of List with an instance of Glue beween each of them.
concat_atom(++List, -Dest)
Succeeds if Dest is the concatenation of the atomic terms contained in List. It is more efficient to use atomics_to_string/2 whenever possible.
concat_atoms(+Src1, +Src2, -Dest)
Succeeds if Dest is the concatenation of Src1 and Src2. It is more efficient to use concat_strings/3 whenever possible.
concat_string(++List, -Dest)
Succeeds if Dest is the concatenation of the atomic terms contained in List.
concat_strings(+Src1, +Src2, -Dest)
Succeeds if Dest is the concatenation of Src1 and Src2.
get_string_code(+Index, +String, -Code)
Succeeds if Code is the value of the Index'th character code in String
integer_atom(?Integer, ?Atom)
Conversion between an integer and an atom. It is more efficient to use number_string/2 wherever possible.
join_string(++List, +Glue, -String)
String is the string formed by concatenating the elements of List with an instance of Glue between each of them.
number_string(?Number, ?String)
Conversion between any number and a string.
split_string(+String, +SepChars, +PadChars, -SubStrings)
Decompose String into SubStrings according to separators SepChars and padding characters PadChars.
string_char(?Index, +String, ?Char)
Succeeds if Char is the value of the Index'th character in String
string_chars(?String, ?Chars)
Chars is a list whose elements are the single-character atoms of the characters in the string
string_code(?Index, +String, ?Code)
Succeeds if Code is the value of the Index'th character code in String
string_codes(?String, ?Codes)
Codes is a list whose elements are the character codes of the characters in the string
string_concat(?String1, ?String2, ?String3)
Succeeds if String3 is the concatenation of String1 and String2.
string_length(+String, -Length)
Succeeds if Length is the length of the string String.
string_list(?String, ?List)
List is a list whose elements are the integer codes of the bytes in the string
string_list(?String, ?List, +Format)
Conversion between string in different encodings and a character list
string_lower(++String, -Upper)
Convert string to lower case
string_upper(++String, -Upper)
Convert string to upper case
sub_string(+String, ?Before, ?Length, ?After, ?SubString)
Succeeds if SubString is a substring of String, with length Length, preceded by Before, and followed by After characters
substring(+String1, +String2, ?Position)
Succeeds if String2 is a substring of String1 beginning at position Position.
substring(+String1, ?Position, ?Length, ?String2)
Succeeds if String2 is the substring of String1 starting at position Position and of length Length.
substring(+String, ?Before, ?Length, ?After, ?SubString)
Succeeds if SubString is a substring of String, with length Length, preceded by Before, and followed by After characters
text_to_string(++Text, -String)
Convert different text representations to a string

Generated from stratom.eci on 2022-09-03 14:26