Documentation Prolog Predicate Reference builtin nonvar/1

nonvar/1

Check if not variable.

Description

nonvar( @term )

nonvar(X) is true if and only if X is not a variable.

Implementation