callable/1
meta-logicalcallable(
+Term)
Term is currently instantiated to
a term that call/1
would take as an argument and not give a type error
(an atom or a compound term).
| ?- callable(a). yes | ?- callable(a(1,2,3)). yes | ?- callable([1,2,3]). yes | ?- callable(1.1). no
atom/1
,
atomic/1
,
number/1
,
var/1
,
compound/1
,
nonvar/1
,
simple/1