must_be_callable/1

"must_be_callable( ?Goal " )

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