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