язык Пролог (Prolog – Programming in Logic) предназначается для логического программирования в системах искусственного