[ ECLiPSe Type Testing built-in.|Group Index| Full Index]

string(?String)

Succeeds if String is a string.

?String
Prolog term.

Description

Used to test whether String is a string.

Fail Conditions

Fails if String is not a string.

Resatisfiable

No.

Exceptions

Examples


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


See Also

atom / 1, atomic / 1, var / 1