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