Výsledkem unifikace množiny {P(a,b), P(c,d), P(a,d)} (kde a,b,c,d jsou konstanty) je:

prázdná substituce

množinu nelze unifikovat

unifikátorem je {c/a, b/d}

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: