1972年，法国马赛大学的阿兰?卡麦劳发明了（）语言，它是继LISP语言后的在人工智能领域中的又一种编程语言，用于数学定理证明。

1972年，法国马赛大学的阿兰?卡麦劳发明了（）语言，它是继LISP语言后的在人工智能领域中的又一种编程语言，用于数学定理证明。
A.PROLOG
B.COBOL
C.C
D.PASCAL
正确答案：A