PLOGHELP VAR                                  Chris Mellish, August 1982
                                Revised by Kathryn Seifert  October 1986

Predicate which succeeds as a goal if its argument is a variable

    ?- var(X).

Keywords: variable, uninstantiated


A goal of this form succeeds if X is an uninstantiated variable.

-- RELATED DOCUMENTATION ----------------------------------------------

PLOGHELP * NONVAR
 Predicate which succeeds as a goal if its argument is not a variable
