ADD: PL-Variable.

ADD: pl-variable? function.
ADD: unify-variables function.

A Prolog Variable is an object with a name and a value.
At the beginning it does not have a value (nil).
Once it's evaluated, the value cannot be changed.