string_char/4

string_char( ?I, +S+, ?-C)*

Given string S, C * represents the character at position I. Arguments are enumerated so that position 1 corresponds to the first character in string S.

The string S must be known when the predicate is called. I and C may be unbound. If they are, YAP will enumerate all characters from the string.