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