Verify Type of a Term

var1+Term Succeeds if Term currently is a free variable. nonvar1+Term Succeeds if Term currently is not a free variable. integer1+Term Succeeds if Term is bound to an integer. float1+Term Succeeds if Term is bound to a floating point number. number1+Term Succeeds if Term is bound to an integer or a floating point number. atom1+Term Succeeds if Term is bound to an atom. string1+Term Succeeds if Term is bound to a string. atomic1+Term Succeeds if Term is bound to an atom, string, integer or floating point number. compound1+Term Succeeds if Term is bound to a compound term. See also functor3 and =../2. ground1+Term Succeeds if Term holds no free variables.