[Group Index|Full Index]
ECLiPSe Kernel: Strings and Atoms
- 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.
- 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.
- 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.
- split_string(+String, +SepChars, +PadChars, ?SubStrings)
-
Decompose String into SubStrings according to separators SepChars and
padding characters PadChars.
- string_length(+String, ?Length)
-
Succeeds if Length is the length of the string String.
- 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.