人工智慧（AI）語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的電腦程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。
人工智慧程式設計語言(programming lan-guage of artificial intelligence)亦稱人工智慧語言.一類電腦程式設計語言.使用這類語言，可以方便而有效地建立人工智慧系統.下面列出的是最常用的幾種人工智慧程式設計語言，簡單介紹如下:
1. IPL.一種早期的表處理語言.IPL是Infor-mation Processing Language的首字母縮寫.該語言是專為人工智慧套用而設計的早期語言之一表處理是IPL的主要目標.現在它已完全被LISP這樣的高級語言所取代.但其意義猶存，因為它是研製人工智慧語言的起點.
2. LISP.目前套用最廣泛的表處理語言.I_ISY是List Processing(表處理)的首字母縮寫.該語言是最早和最重要的邏輯型程式語言之一它於1958年由美國的麥卡錫(McCarthy, J.)提出，並於1960年發表了他的第一篇關於LISP的論文.之後，LISP語言很快得到廣泛的套用，到目前為止，仍有使用LISP語言來編寫人工智慧系統的.LISP語言具有各種不同的版本.使用最廣泛的是INTERLISP ,MACLISP和COMMON LISP.其中COMMONLISP是在20世紀80年代初，由美國二十幾家大學和研究所聯合設計的，它是LISP語言發展的新的里程碑.
3. SAIL. SAIL是ALGOL語言的變種，它最類似於常規的通用程式設計語言.但具有支持相關存儲器、能直接與彙編語言過程相連結等附加特性.由於SAIL具備一門程式設計語言的所有標準特性，所以常用來求解涉及大量傳統計算的人工智慧問題.
4. PLANNER一種便於目標定向處理的早期語言.PLANNER是建立在LISP的基礎之上，為問題求解及定理證明而提出的一種語言，該語言能實現傳統的正向推理和面向目標的逆向推理等功能.一個PLANNER程式包括斷言和定理兩部分，斷言部分用於指出已知事實，而定理部分則描述如何根據舊事實推出新事實.它們分別被存儲在斷言資料庫和定理資料庫中.
5. KRL. KRI_是Knowledge RepresentationLanguage的首字母縮寫.該語言建立在LISP之上，易於表達框架結構中的知識，是一種能夠支持複雜框架結構的語言.
6. PROLOG.目前套用最廣泛的邏輯程式設討語言.PROLOG是Programming in Logic的首字司縮寫.該語言是一種基於一階謂詞邏輯的產生式劫則語言.它由法國的考莫瑞爾(Colmerauer, A. )和他在馬塞大學的助手於1972年發明的.該語言的一個最顯著的特點是想讓程式設計師能以接近自然語言配形式，告訴計算機做什麼，而不必像傳統的程式設討語言那樣，必須告訴計算機怎樣做.
PROLOG描述功能強，具有邏輯推理能力，謔法簡單，使用方便，已在專家系統、定理證明系統、黝據庫和知識庫系統、機器人規劃與控制系統、自然謔言理解、計算機輔助設計等諸多領域得到成功的套用.PROLOG程式一般可分為事實和規則兩部分.事實用只有句首的horn子句表示，規則由一個完整的horn子句表示.而PROLOG程式的執行則通過使用只有句體的horn子句並以詢問的方式來實現.用 PROLOG語言編程包括:規定操作對象以及關係的一批事實;規定操作對象以及關係的一批規則;詢問操作對象以及關係的具體問題.PROLOG本身就是一個使用歸結法的演繹推理機，它通過合一、置換、消解、回溯和匹配等機制來求解問題.PROLOG語言也有許多不同的版本，如PROLOG, C-PRO-LOG, H-PROLOG, micro-PROLOG以及TurboPROLOG等.
