Подходит ли Пролог для разработки систем автоматического доказательства теорем? (Отметьте один правильный вариант ответа.) Варианты ответа да(Верный ответ) нет