你好，我想知道人工智慧程式設計語言主要有哪些?典型的人工

典型的人工智慧語言主要有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，也猶如一個殘疾人,因為就廣義來說,這兩種人工智慧的主要語言的知識都是必不可少的。

概括地說,電腦語言的發展正是一個從HOW型低階語言向WHAT型高階語言進化的過程.在HOW型語言中,程式編制者必須詳細說明運算是怎樣一步一步進行的;而在WHAT型語言中,程式編制者只需簡單說明要做的事情是什麼。 …現代的LISP語言是這些語言的佼佼者,因為採用Common Lisp格式的Lisp具有非凡的表現力,但是如何做某件事情仍然是有待於Lisp程式編制者來表達的東西.相反,Prolog是一種明顯地衝破了HOW型語言陳規的語言, 它鼓勵程式編制者去描述情況和問題,而不是那些用來解決問題的詳細步驟。”