var/1

Tests whether a term is a variable

var(Term) -(i)

Compatibility: LPA Win-Prolog.

Remarks: This succeeds if Term is a variable.

See Also: nonvar/1