在归结原理中,几种常见的归结策略并且具有完备性的是()、()、()
出自:计算机科学