McCarthy, Yapay Zeka için geliştirilen ilk program dillerinden biri olan LISP(List Processing) 'i 1957'de ortaya koymuştur. LISP programı, Basic ve Pascal gibi programlama dillerinden farklı olarak cümle kural gibi durumlar ile ilgili de çalışmaktadır. LISP ile yazılım geliştiren kullanıcılar, LISP makinesi (Sembolik İşlemci) adındaki mantıksal sistem sayesinde Yapay Zeka uygulamaları geliştirmişlerdir.