利用Horn子句进行推理，使用的是什么样的搜索方法（）：A深度优先搜索B广度优先搜索C深度优先搜索和广度优先搜索都不是D深度优先搜索和广度优先搜索都可以