Главная /
Логическое программирование /
Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y:
Режим доказательства предиката add(X,Y,Z)
при конкретизированных X,Y
:
вопрос
Правильный ответ:
cложение
вычитание
построение всех комбинаций
проверка верности суммы
Сложность вопроса
16
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Если бы не опубликованные подсказки - я бы сломался c этими тестами интуит.
08 авг 2018
Аноним
Экзамен сдан на пять. Спасибо за ответы
15 окт 2017
Аноним
Спасибо за тесты по intuit.
27 авг 2017
Другие ответы на вопросы из темы программирование интуит.
- # Как называется грамматика в классификации по Хомскому, если все правила имеют вид α → , где ?
- # Императивные языки программирования оперируют:
- # Формула B следует из формулы A, если:
- # Может ли данный запрос в Prolog генерировать ответ в виде значений искомых переменных: ?-not(not(parent(X,Y))).
- # Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: W:- A,P,W. W:-!.