[ Type Testing | 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

- string(?) is semidet

### 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