nonvar/1

Tests whether a term is bound, i.e. that it is not a variable

nonvar(Term) -(i)

Compatibility: LPA Win-Prolog.

Remarks: This succeeds if Term is bound, i.e. not a variable.

See Also: var/1