type_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.