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


COBOL


---

PROLOG


---

PASCAL


---

C


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

微信扫描下方二维码或搜索公众号tuziang666 ，关注后获取答案
1972年，法国马赛大学的阿兰?卡麦劳发明了（ ）语言，它是继LISP语言后的在人工智能领域中的又一种编程语言，用于数学定理证明。