典型的人工智能語言主要有LISP、Prolog、Smalltalk、C等。
壹般來說，人工智能語言應具備如下特點：
具有符號處理能力（即非數值處理能力）；
適合於結構化程序設計，編程容易；
具有遞歸功能和回溯功能；
具有人機交互能力；
適合於推理；
既有把過程與說明式數據結構混合起來的能力，又有辨別數據、確定控制的模式匹配機制。
在人工智能手冊中介紹了七種人工智能語言：
LISP,PLANNER,CINNIVER,QLISP,POP-2,SAIL,FUZZY。近百種人工智能語言中，只有LISP和後起之秀Prolog是人工智能研究和應用中占重要地位的兩種人工智能程序設計語言。雖然國內外對這兩種AI語言曾有爭議，褒貶不壹，但LISP和PROLOG的重要性是都不可否認的。
談到LISP和PROLOG兩種AI語言的重要性，我們可以從美國AI界的權威學者、麻省理工學院教授P.H.Winston(溫斯頓)所說的三段話來體會：
(1)溫斯頓認為，LISP 語言是AI的數學，不僅對AI的機器實現有重要意義，而且是AI理論研究的重要工具。
(2)“在中世紀，拉丁文和希臘文的知識對所有學者來說，都是必不可少的。只懂壹種語言的學者必然是壹個殘缺不全的學者，他缺乏從兩個方面來觀察世界所獲得的那種理解力。同樣地，現代的AI專業人員如果不能同時大致通曉LISP和Prolog，也猶如壹個殘疾人,因為就廣義來說,這兩種人工智能的主要語言的知識都是必不可少的。”
“我壹直熱衷於Lisp，Lisp是在MIT被制造並且在那兒成長起來的。”
(3)概括地說,計算機語言的發展正是壹個從HOW型低級語言向WHAT型高級語言進化的過程.在HOW型語言中,程序編制者必須詳細說明運算是怎樣(HOW)壹步壹步進行的;而在WHAT型語言中,程序編制者只需簡單說明要做的事情是什麽(WHAT) 。 現代的LISP語言是這些語言的佼佼者,因為采用Common Lisp格式的Lisp具有非凡的表現力,但是如何做某件事情仍然是有待於Lisp程序編制者來表達的東西.相反,Prolog是壹種明顯地沖破了HOW型語言陳規的語言, 它鼓勵程序編制者去描述情況和問題,而不是那些用來解決問題的詳細步驟。”
由以上論述可以看出LISP語言和Prolog語言對人工智能學科和人工智能學者的重要性。
壹般來說,LISP可以稱為人工智能的匯編語言, Prolog是人工智能更高級的語言。