Главная / Основы программирования на языке Пролог / Подходит ли Пролог для разработки систем автоматического доказательства теорем?

Подходит ли Пролог для разработки систем автоматического доказательства теорем?

вопрос

Правильный ответ:

да
нет
Сложность вопроса
81
Сложность курса: Основы программирования на языке Пролог
85
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Спасибо за сайт
24 мар 2017
Аноним
Это очень нехитрый вопрос по интуиту.
20 ноя 2016
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.