Langage fonctionnel
Variables

Une variable
a un nom commençant par une majuscule
est accessible dans les scopes imbriqués
est liée une seule fois

L'unification permet
d'affecter la valeur d'une variable
de tester sa valeur

Exemple
A = 3.    (affectation)
A = 3.    (unification)
A = 4.    (échec)