Особенности метода резолюции в логике предикатов