Beispiel #1
0
 private static bool Mgu(Term t1, Term t2, Substitution subsSoFar)
 {
     return t1.Mgu(t2, subsSoFar);
 }