Kõige levinum tehisintellekti keel on Lisp ja see on kasutusel ka tänapäeval. See on ka üks vanimaid tehisintellekti keeli. John McCarthy töötas selle välja 1950. aastate lõpus.
Lisp on lühend sõnast “LIST Processing”. See tehisintellekti keel kasutab andmestruktuuride esitamiseks loendeid. Seda peetakse esimeseks funktsionaalseks programmeerimiskeeleks. Seal on üsna palju sisseehitatud funktsioone, mida saab kasutada loenditega manipuleerimiseks, muutes keele äärmiselt paindlikuks. Programmeerijatel on täielik kontroll keele süntaksi üle, mida saab vastavalt nende eesmärkidele muuta.
See on võimalik, kuna lähtekood koosneb loenditest. Programmeerijad saavad lähtekoodi manipuleerida andmestruktuuridena, võimaldades neil luua uue süntaksi või laiendada keelt, et teha seda, mida vaja. See on suurepärane keel tehisintellekti (AI) programmeerimiseks, kuna on võimalik hõlpsasti kirjutada loendistruktuuridele vastavaid mustrite sobitajaid.
Üks muudest teguritest, mis muudab Lispi kasulikuks tehisintellekti keeleks, on selle võime toetada sümboolseid esitusi. Sümboleid on lihtne andmetega seostada; Näiteks on võimalik sümbolit “taevas” seostada värviga “sinine”. Samuti on võimalik hõlpsasti asendada vanemaid andmestruktuure uuematega ja seda lahtijaotamisvõimalust nimetatakse prügikogumiseks.
Äärmiselt dünaamiline tehisintellekti keel, mille abil on võimalik Lispis muudatused koheselt ilma ümberkompileerimiseta jõustuda. Sellel puudub põhiprogramm ja kogu töö tehakse funktsioonide kompositsioonide ja rekursiooni kaudu. Programmeerijad pääsevad sisestusviibal juurde mis tahes funktsioonile.
Laialt populaarne tehisintellekti keel, Lisp on loonud tohutu hulga dialekte ja Lispi süsteeme, nagu Scheme, Interlisp ja FranzLisp. Püüdes luua keelestandardit, panid mitmed Lispi programmeerijad kokku olemasolevate dialektide parimad omadused, et luua uus keel nimega Common Lisp. See juhtus 1981. aastal ja sellest ajast alates on Common Lisp muutunud äärmiselt jõuliseks üldotstarbeliseks AI programmeerimiskeeleks.
Lispi, mida kasutatakse laialdaselt arvutimängude, robotite ja mustrituvastusprobleemide programmeerimiseks, peetakse klassikaliseks AI programmeerimiskeeleks, mis on ajaproovile vastu pidanud. Prolog on teine programmeerimiskeel, mis töötati välja 1970. aastate alguses ja mis on AI-s populaarsust kogunud. Sellel on predikaatarvutusel põhinev matemaatilisem alus. Seda peetakse oluliseks loogilise programmeerimiskeeleks ja seda kasutatakse tehisintellektis loomuliku keele töötlemiseks ja ekspertsüsteemidega tegelemiseks.