Unifikation--Algorithmus

mgu(s, t) nach Fallunterscheidung

Bemerkungen:



2009-11-20