【单选题】
1972年，法国马赛大学的阿兰?卡麦劳发明了（ ）语言，它是继LISP语言后的在人工智能领域中的又一种编程语言，用于数学定理证明。
①
COBOL
②
PROLOG
③
PASCAL
④
C
【单选题】
从1959年开始，麦卡锡着重研究适合于非数值问题求解中运用的程序设计语言，他提出的（ ）语言，成为适用于人工智能问题的重要程序设计语言。
①
LISP
②
C
③
BASIC
④
FORTRAN
【单选题】
自然语言理解是人工智能的重要应用领域，下面列举中的（ ）不是它要实现的目标。
①
理解别人讲的话。
②
对自然语言表示的信息进行分析概括或编辑。
③
欣赏音乐。
④
机器翻译。