11.3.33 callable/1   ISO

Synopsis

callable(+Term)

Succeeds if Term is currently instantiated to an atom or a compound term.

Arguments

Term

term

Examples

| ?- callable(a).

yes
| ?- callable(a(1,2,3)).

yes
| ?- callable([1,2,3]).

yes
| ?- callable(1.1).

no

Exceptions

None.

See Also

ref-lte-met-typ.