Метод программирования, предназначенный для решения задач искусственного интеллекта, когда программа описывает логическую структуру решения задачи, указывая преимущественно, что нужно сделать, не описывая как сделать, называется