11.3.200 simple/1

Synopsis

simple(+Term)

Term is currently not instantiated to a compound term.

Arguments

Term
term

Examples

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

See Also

ref-lte-met-typ.


Send feedback on this subject.