simple/1 meta-logical

Synopsis

simple(+Term)

Term is currently instantiated to either an atom, a number, a database or a variable.

Arguments

Term term

Examples

     | ?- simple(9).
     
     yes
     | ?- simple(_X).
     
     _X = _2487
     | ?- simple("a").
     
     no
     

See Also

atom/1, number/1, var/1, compound/1, callable/1, nonvar/1