Možnou rezolventou klauzulí {P(a, f(x,a)), P(y,z)} a {¬P(v,f(w,v)), ¬P(v,u)} (kde a je konstanta, u,v,w,x,y,z jsou proměnné) je

{¬P(f(a,a), f(x,a))}

{¬P(v,f(w,v)), ¬P(v,u)}

{¬P(a,u)}

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: