dasturlash tillarida amalga oshirish amri mahol edi, shu sababli loyihada
sun`iy intelekt tillari sifatida LISP va PROLOG tillari tanlandi.
LISP dasturlash tili (1956-1959 yillar) asoschisi Jon Makkarti bo`lib,
u sun`iy intelektning otasi hisoblanadi. Aynan u birinchi bo`lib “sun`iy
intelekt” atamasini ishlatgan. LISP tilida asosiy element rekursiv
ajratilgan funksiyalar tushunish bo`lgan. Istalgan
algoritm bir nechta
rekursiv bilan funksiyalar to`plami vositasida izohlanishi isbotlangan.
Ushbu tilning asosiy g`oyalari keyinroq Seymur Peypert boshchiligida
Masachusets texnologiyalar institutida 70-yillarda bolalar
uchun ishlab
chiqilgan LOGO tilida qo`llanildi.
PROLOG tili
ham 1972 yilda Fransiyada sun`iy intelekt
muammolarini yechish uchun ishlayu chiqildi.
PROLOG tili har xil
fikrlarni formal ko`rnishda tavsiflash,
mantiqni muxokama qilish,
kompyuterni berilgan savollarga javob berdirishga imkoniyatli
hisoyulanadi.