Labiausiai paplitusi dirbtinio intelekto kalba yra Lisp, ji naudojama ir šiandien. Tai taip pat viena iš seniausių dirbtinio intelekto kalbų. Johnas McCarthy jį sukūrė šeštojo dešimtmečio pabaigoje.
Lisp yra „LIST Processing“ santrumpa. Ši dirbtinio intelekto kalba duomenų struktūroms vaizduoti naudoja sąrašus. Tai laikoma pirmąja funkcine programavimo kalba. Yra nemažai integruotų funkcijų, kuriomis galima valdyti sąrašus, todėl kalba tampa itin lanksti. Programuotojai gali visiškai valdyti kalbos sintaksę, kurią galima keisti pagal savo tikslus.
Tai įmanoma, nes šaltinio kodas sudarytas iš sąrašų. Programuotojai gali manipuliuoti šaltinio kodu kaip duomenų struktūromis, leisdami sukurti naują sintaksę arba išplėsti kalbą, kad padarytų tai, ko reikia. Tai puiki dirbtinio intelekto (AI) programavimo kalba, nes galima nesunkiai parašyti šablonų atitikmenis, atitinkančius sąrašo struktūras.
Vienas iš kitų veiksnių, dėl kurių Lisp yra naudinga dirbtinio intelekto kalba, yra jos gebėjimas palaikyti simbolinius vaizdus. Galima lengvai susieti simbolius su duomenimis; Pavyzdžiui, simbolį „dangus“ galima susieti su „mėlyna“ spalva. Taip pat galima nesunkiai pakeisti senesnes duomenų struktūras naujesnėmis, o ši dislokavimo priemonė vadinama šiukšlių surinkimu.
Itin dinamiška dirbtinio intelekto kalba, todėl Lisp pakeitimai gali įsigalioti akimirksniu be jokio perkompiliavimo. Jis neturi jokios pagrindinės programos, o visas darbas atliekamas per funkcijų kompozicijas ir rekursiją. Programuotojai gali pasiekti bet kurią funkciją įvesties eilutėje.
Plačiai populiari dirbtinio intelekto kalba, Lisp sukūrė daugybę dialektų ir Lisp sistemų, tokių kaip Scheme, Interlisp ir FranzLisp. Siekdami sukurti kalbos standartą, daugelis Lisp programuotojų sujungė geriausias esamų tarmių savybes, kad sukurtų naują kalbą, pavadintą Common Lisp. Tai atsitiko 1981 m., ir nuo to laiko „Common Lisp“ tapo itin tvirta, bendros paskirties AI programavimo kalba.
Plačiai naudojama programuojant kompiuterinius žaidimus, robotus ir modelių atpažinimo problemas, Lisp laikoma klasikine AI programavimo kalba, kuri išlaikė laiko išbandymą. „Prolog“ yra dar viena programavimo kalba, sukurta aštuntojo dešimtmečio pradžioje, kuri išpopuliarėjo dirbtinio intelekto srityje. Jis turi daugiau matematinį pagrindą, pagrįstą predikatiniais skaičiavimais. Ji laikoma svarbia loginio programavimo kalba ir naudojama dirbtiniu intelektu natūraliai kalbai apdoroti ir dirbti su ekspertinėmis sistemomis.