Главная /
Основы программирования на языке Visual Prolog /
Являются унифицируемыми термы
Являются унифицируемыми термы
вопросПравильный ответ:
t(a, r(b, c)) и t(a, b, c) t(a, r(b, c)) и t(X, r(Y)) t(a, r(b, c)) и t(a, X) t(a, r(b, c)) и t(X, p(b, c)) Сложность вопроса
61
Сложность курса: Основы программирования на языке Visual Prolog
94
Оценить вопрос
Комментарии:
Аноним
Это очень нехитрый вопрос интуит.
30 май 2019
Аноним
Если бы не эти ответы - я бы не справился c этими тестами intuit.
20 дек 2018
Аноним
Спасибо за ответы по интуит.
24 окт 2015
Другие ответы на вопросы из темы программирование интуит.
- # В основу стандарта языка Пролог положен синтаксис
- # Определение предикатов count и count1 имеет вид: count(t(X, L), Z):- count1(L, Y), Z = Y + X. count1([], 0). count1([T | _], Z):- count(T, Z). Какое значение примет переменная S в результате вызова цели count(t(1, [t(2, [t(2, [])]), t(1, [])]), S) ?
- # Определение предикатов likes и male выглядит следующим образом: male(peter). male(bob). likes(peter, bycicle). Напишите решение для цели male(Y), not(likes(Y, _)):
- # Определение предикатов parent, grandparent и run имеет вид:parent("Mary", "Bob"). parent("Mary", "Tom"). parent("Ann", "Mary"). grandparent(X, Y):- parent(X, Z), parent(Z, Y). run():- grandparent(X, Y), write(X, " - ", Y), nl, fail; _ = readLine(). Предикат parent объявлен в разделе class predicates. Укажите правильное объявление:
- # Определение предикатов fruit и print имеет вид:fruit(1, apple). fruit(2, pear). print() :- fruit(_, X), write(X), nl, fruit(_, Y), write(Y), nl, fail. print(). Напишите название фрукта, которое будет напечатано третьим в результате вызова цели print():