鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。