Nejobecnějším unifikátorem množiny {P(x,y), P(a,f(x))} (kde a je konstanta, x,y jsou proměnné) je:

množinu nelze unifikovat

{x/a, y/f(a)}

{x/a, y/f(x)}

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: