callable/1¶

"callable( ?Goal " )

_Goal must be callable, that is, it must be bound and also must be either a compound term or an atom.

Either succeeds or fails.