callable/1 meta-logical

Synopsis

callable(+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).

Arguments


Term term

Examples

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

See Also

atom/1, atomic/1, number/1, var/1, compound/1, nonvar/1, simple/1