[
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