type_var_1Version: NextOn this pagetype_var/1 Description type_var/1 is a predicate that checks if the given term is an uninstantiated variable. Signature var(@Term) Where: Term is the term to check.