mpg-ref-callable - SICStus Prolog

Next: mpg-ref-catch, Previous: mpg-ref-call_residue_vars, Up: mpg-bpr

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.

Send feedback on this subject.