Unifikation--Algorithmus

mgu(s, t) nach Fallunterscheidung

mgu :: Term -> Term -> Maybe Substitution



Johannes Waldmann 2011-01-23