ПРОЛОГ (Prolog). Язык программирования высокого уровня, предназначенный для разработки программ и систем искусственного интеллекта. Свое название получил от сокращения английских слов PROgramming in LOGic