Many type checking functions are built in, each returning a boolean value:

• numeric types: integer(X), float(X), number(X),
• variable types: var(X), nonvar(X)
• other types: is_list(X), atom(X), atomic(X), callable(X), compound(X)