Unifikation--Algorithmus

mgu(s, t) nach Fallunterscheidung

mgu :: Term -> Term -> Maybe Substitution



Johannes Waldmann 2013-01-31