Najpopularniejszym językiem sztucznej inteligencji jest Lisp i jest on nadal w użyciu. To także jeden z najstarszych języków sztucznej inteligencji. John McCarthy opracował go pod koniec lat pięćdziesiątych.
Lisp to skrót od „Przetwarzanie LISt”. Ten język sztucznej inteligencji wykorzystuje listy do reprezentowania struktur danych. Jest uważany za pierwszy funkcjonalny język programowania. Istnieje wiele wbudowanych funkcji, których można użyć do manipulowania listami, dzięki czemu język jest niezwykle elastyczny. Programiści mają całkowitą kontrolę nad składnią języka, która może być zmieniana zgodnie z ich celami.
Jest to możliwe, ponieważ kod źródłowy składa się z list. Programiści mogą manipulować kodem źródłowym jako strukturami danych, co pozwala im tworzyć nową składnię lub rozszerzać język, aby zrobić to, co konieczne. Jest to doskonały język do programowania sztucznej inteligencji (AI), ponieważ można łatwo pisać dopasowujące wzorce, które odpowiadają strukturom list.
Jednym z innych czynników, które sprawiają, że Lisp jest użytecznym językiem sztucznej inteligencji, jest jego zdolność do obsługi reprezentacji symbolicznych. Możliwe jest łatwe powiązanie symboli z danymi; na przykład można skojarzyć symbol „niebo” z kolorem „niebieski”. Możliwe jest również łatwe zastąpienie starszych struktur danych nowszymi, a to narzędzie cofania alokacji nazywa się garbage collection.
Niezwykle dynamiczny język sztucznej inteligencji, możliwe jest natychmiastowe wprowadzenie zmian w Lisp bez ponownej kompilacji. Nie posiada żadnego podstawowego programu, a cała praca odbywa się za pomocą kompozycji funkcji i rekurencji. Programiści mogą uzyskać dostęp do dowolnej funkcji w wierszu polecenia.
Szeroko popularny język sztucznej inteligencji, Lisp zrodził ogromną liczbę dialektów i systemów Lisp, takich jak Scheme, Interlisp i FranzLisp. Starając się stworzyć standard dla języka, wielu programistów Lisp zebrało najlepsze cechy istniejących dialektów, aby stworzyć nowy język o nazwie Common Lisp. Stało się to w 1981 roku i od tego czasu Common Lisp ewoluował, aby stać się niezwykle solidnym, uniwersalnym językiem programowania AI.
Szeroko stosowany do programowania gier komputerowych, robotów i problemów z rozpoznawaniem wzorców, Lisp jest uważany za klasyczny język programowania AI, który przetrwał próbę czasu. Prolog to kolejny język programowania opracowany na początku lat 1970., który zyskał popularność w AI. Ma bardziej matematyczną podstawę opartą na rachunku predykatów. Jest uważany za ważny język programowania logicznego i jest używany w AI do przetwarzania języka naturalnego i radzenia sobie z systemami eksperckimi.