Eine Unifikation (Zusammenführung) ist ...[Logik] - Mittels des Algorithmus von Robinson nach John Alan Robinson kann man zu unifizierbaren Ausdrücken einen kleinsten gemeinsamen Unifikator finden. == Unifikationsalgorithmus == == Literatur == ...
Unifikation Unifikation i. S. von PROLOG ist der Vorgang, Strukturgleichheit durch die Bindung von Werten an die Variablen zu erreichen.