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

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

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

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

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: