Пролог
Язык программирования Prolog — от PROgramming LOGical. Разработка: конец 60-х — начало 70-х годов. Основная задача — создание искуственного интеллекта. Программист задавал необходимые факты и отношения, а язык решал задачи, используя механизм дедукции.
Словарь компьютерного сленга