Temat: unifikacja WB 507Polecam skrypt Tiuryna, jest w nim dobrze wytłumaczony algorytm unifikacji.Źródło: matematyka.pl/viewtopic.php?t=101422