ADD: Prolog Terms.

Each Prolog Term is a defrecord, with specific properties.
For each type of Term, there is a unifying function.