下列不是人工智能研究领域的是（ ）。

下列不是人工智能研究领域的是（ ）。
A.机器证明
B.模式识别
C.人工生命
D.编译原理

【正确答案】D