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.

concat_atom(+List, ?Dest)

Succeeds if Dest is the concatenation of the atomic terms contained in List. It is more efficient to use concat_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.

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 beween 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_code(+String, +Index, ?Code)

Succeeds if Code is the value of the Index'th byte in String

string_length(+String, ?Length)

Succeeds if Length is the length of the string String.

string_list(?String, ?List)

Succeeds if List is a list whose elements are the ascii codes of the characters of String.

string_list(?String, ?List, +Format)

Conversion between string in different encodings and a character list

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 String2 is a substring of String, with length Length, preceded by Before, and followed by After characters