SP_is_variable()
#include <sicstus/sicstus.h> int SP_is_variable(SP_term_ref term);
Determines whether the value of term is a Prolog variable.
term
1 if it is a variable and 0 otherwise.
Testing Prolog Terms.