Укажите название языка функционального программирования, основанного на алгебре списочных структур и теории рекурсивных функций, используемого в исследованиях искусственного интеллекта, автором которого является Джон Маккарти в 1958 году.