En yaygın yapay zeka dili Lisp'tir ve halen kullanılmaktadır. Aynı zamanda en eski yapay zeka dillerinden biridir. John McCarthy 1950'lerin sonunda geliştirdi.
Lisp, "LISt İşleme" nin kısaltmasıdır. Bu yapay zeka dili, veri yapılarını temsil etmek için listeler kullanır. İlk fonksiyonel programlama dili olarak kabul edilir. Listeleri değiştirmek, dili son derece esnek kılmak için kullanılabilecek birçok yerleşik işlev vardır. Programcılar, amaçlarına uyacak şekilde değiştirilebilecek dilin sözdizimi üzerinde tam kontrol sahibidir.
Kaynak kodu listelerden oluştuğundan bu mümkündür. Programcılar, kaynak kodu veri yapıları olarak değiştirerek, yeni bir sözdizimi yaratmalarına izin verebilir veya dili gerekli olanı yapmak için genişletebilir. Yapay zeka (AI) programlaması için mükemmel bir dildir, çünkü liste yapılarına karşılık gelen desen eşleştiricileri kolayca yazmak mümkündür.
Lisp'i faydalı bir yapay zeka dili yapan diğer faktörlerden biri de sembolik temsilleri destekleyebilmesi. Sembolleri veri ile kolayca ilişkilendirmek mümkündür; örneğin, "gökyüzü" sembolünü "mavi" renkle ilişkilendirmek mümkündür. Eski veri yapılarını yenileriyle kolayca değiştirmek de mümkündür ve bu ayrılma tesisine çöp toplama adı verilir.
Son derece dinamik bir yapay zeka dili, Lisp'te değişikliklerin herhangi bir yeniden derleme yapmadan anında etkili olması mümkün. Herhangi bir çekirdek programa sahip değildir ve tüm çalışmalar fonksiyon kompozisyonları ve özyineleme yoluyla yapılır. Programcılar giriş isteminde herhangi bir işleve erişebilirler.
Yaygın olarak kullanılan bir yapay zeka dili olan Lisp, Scheme, Interlisp ve FranzLisp gibi çok sayıda lehçeyi ve Lisp sistemini ortaya çıkardı. Dil için bir standart oluşturma çabası içinde, bir dizi Lisp programcısı Common Lisp adlı yeni bir dil oluşturmak için mevcut lehçelerden en iyi özellikleri bir araya getirdi. Bu 1981'de oldu ve o zamandan beri Common Lisp, oldukça sağlam, genel amaçlı bir AI programlama dili haline geldi.
Bilgisayar oyunlarının, robotların ve örüntü tanıma sorunlarının programlanmasında yaygın olarak kullanılan Lisp, zamanın testine dayanan klasik bir AI programlama dili olarak kabul edilir. Prolog 1970'lerin başında AI'da popülerlik kazanmış bir başka programlama dilidir. Tahmini hesaplamaya dayalı daha matematiksel bir temeli vardır. Önemli bir mantık programlama dili olarak kabul edilir ve AI'da doğal dil işleme ve uzman sistemlerle uğraşmada kullanılır.
