Unification variables

Μετάφραση: 
μεταβλητές ενοποίησης