1972年,法国马赛大学的阿兰?卡麦劳发明了( )语言,它是继LISP语言后的在人工智能领域中的又一种编程语言,用于数学定理证明。
COBOL
PROLOG
PASCAL
C
皖ICP备18026791号-5