unifications

Для определения unifications, пожалуйста, посетите здесь.