str_len

[This is preliminary specification and subject to change.]

Group

Prolog predicates (more...)

Type

determ

Syntax

str_len( STRING STR, INTEGER RESULT)

Flow patterns

(i,o),(i,i),(i,i)

Description:

Correlate strings and their lengths
Remarks

(i, i) - Succeeds if String has Length characters, otherwise str_len(i, i) fails.
(i, o) - Binds Length to the number of characters in String.
(o, i) - Returns a string of Length spaces allocated on the global stack.

Sample:

No sample