Gleich und gleich gesellt sich gern
Der
umfassende Begriff der Unifikation ersetzt und vereinheitlicht, was in
herkömmlichen Programmiersprachen durch viele verschiedene Konzepte wie
Zuweisung, Zugriff, Vergleich ausgedrückt wird.Im Bild wird die Gleichung
[U|Us] = [[a]] veranschaulicht. Dabei werden die freien Teile (Variable,
dargestellt durch Rechtecke) mit passenden bekannten Teilen gebunden.
[logprog|GUPU|UWN]