归结法中,可以通过()的方法得到问题的解答
出自:计算机科学