利用Horn子句进行推理，使用的是什么样的搜索方法（）

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