sitelogo
nonvar/1

tests whether the argument is not a variable.

nonvar(+Term)

nonvar/1 succeeds if Term is not a variable otherwise it fails.

Arguments 

Term                   term

Examples

nonvar('this is an atom'). Succeeds.
nonvar([l,i,s,t]). Succeeds.
nonvar(Variable). Fails.
nonvar(_27). Fails.

Standard

This predicate is part of the ISO-Prolog Standard.

See also

atom/1, atomic/1, compound/1, float/1, integer/1, number/1, var/1.

Up read on...
scroll to top managed with ubiCMS