simple/1
simple(+Term)
simple(
)
Term is currently not instantiated to a compound term.
| ?- simple(9). yes | ?- simple(_X). yes | ?- simple("a"). no
ref-lte-met-typ.