compound/1 meta-logical

Synopsis

compound(+Term)

Term is currently instantiated to a compound term.

Arguments

Term term

Examples

     | ?- compound(9).
     
     no
     | ?- compound(a(1,2,3)).
     
     yes
     | ?- compound("a").
     
     yes
     | ?- compound([1,2]).
     
     yes
     

See Also

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