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

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

A、PASCAL

B、C

C、PROLOG

D、COBOL