Главная /
Основы программирования на языке Пролог /
Подходит ли Пролог для разработки систем автоматического доказательства теорем?
Подходит ли Пролог для разработки систем автоматического доказательства теорем?
вопросПравильный ответ:
да
нет
Сложность вопроса
81
Сложность курса: Основы программирования на языке Пролог
85
Оценить вопрос
Комментарии:
Аноним
Спасибо за сайт
24 мар 2017
Аноним
Это очень нехитрый вопрос по интуиту.
20 ноя 2016
Другие ответы на вопросы из темы программирование интуит.
- # Левосторонняя рекурсия плоха тем, что она
- # В результате выполнения предиката fib_fast(3,X,Y) переменные X и Y получат значения:
- # Если аргументом предиката bound является свободная переменная, то он:
- # В стек точек возврата помещается указатель на то место программы, в котором:
- # При выполнении предиката avg([1,2,3],X) переменная X будет означена числом: