下列哪个不是人工智能的研究领域

下列哪个不是人工智能的研究领域
A.机器证明
B.人工生命
C.模式识别
D.编译原理
正确答案：编译原理