[ Type Testing | Reference Manual | Alphabetic Index ]

# is_array(?Term)

Succeeds if Term is an array.

Term
  Prolog term.

## Description

Used to test whether Term is an array, i.e. a term with functor []/N. Could be defined as:

    	is_array(X) :- nonvar(X), functor(X, [], _).

Note that this includes the empty array [].

### Modes and Determinism

- is_array(?) is semidet

### Fail Conditions

Fails if Term is not an array

## Examples

        ?- is_array([]).
        Yes (0.00s cpu)

        ?- is_array([](1,2,3)).
        Yes (0.00s cpu)

        ?- is_array([1,2,3]).
        No (0.00s cpu)

        ?- is_array(f(1,2)).
        No (0.00s cpu)

        ?- is_array(foo).
        No (0.00s cpu)

        ?- is_array(_).
        No (0.00s cpu)

## See Also

atom / 1, callable / 1, compound / 1, is_list / 1, ground / 1