Главная /
Основы программирования на языке Visual Prolog /
Не унифицируется пара термов
Не унифицируется пара термов
вопросПравильный ответ:
t(a, b, k(c)) и t(a, b, _)
t(a, b, k(c)) и t(a, b, k(a))
t(a, b, k(c)) и t(X, Y, Z)
t(a, b, k(c)) и t(_, _, _)
Сложность вопроса
69
Сложность курса: Основы программирования на языке Visual Prolog
94
Оценить вопрос
Комментарии:
Аноним
Это очень не сложный решебник по интуиту.
04 мар 2020
Аноним
Большое спасибо за тесты по интуит.
26 июл 2018
Аноним
Я завалил сессию, за что я не углядел данный сайт с решениями по тестам интуит до того как забрали в армию
24 июл 2018
Другие ответы на вопросы из темы программирование интуит.
- # Сколько элементов содержит список [[1, 2, 3, 4]]?
- # Предикаты digit и tuple определяются следующим образом:digit(0). digit(1). digit(2). tuple(t(X, Y)) :- digit(X), Y = -X. Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?
- # Определение предикатов min и run имеет вид:min(X, Y, X):- X < Y, !.min(X, Y, Y):- X >= Y. run():- min(1, 3, X), write(X), nl, fail; _ = readLine(). Укажите правильное объявление предиката min:
- # Добавляет факт в начало внутренней базы данных предикат:
- # Определение предиката num имеет вид: num(X, X). num(X, Y) :- X > 0, X1 = X - 2, num(X1, Y). Сколько решений имеет цель num(5, X)?