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

发布时间：2022-06-12 12:41:12 作者：wudongabc..1 阅读量：123

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

COBOL

PROLOG

PASCAL

C

点击这里跳转到答案查看网获取答案