[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

string(?String)

Succeeds if String is a string.
String
Prolog term.

Description

Used to test whether String is a string.

Modes and Determinism

Fail Conditions

Fails if String is not a string

Examples

   Success:
   string("astring").
   Fail:
   string('astring').
   string(X).



See Also

atom / 1, atomic / 1, var / 1