Укажите предикат, который удаляет все записи из внутренней базы данных:

вопрос

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

Оставить комментарий

Отправить

• # Отношение likes определяется следующим образом:likes(bob, X) :- likes(ann, X). likes(ann, books). likes(tom, ann). Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(_, X)?
• # Определение предиката count имеет вид: count(leaf, 0). count(bt(leaf, _, leaf), 1):- !. count(bt(L, _, R), X):- count(L, Y), count(R, Z), X = Y + Z. Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?
• # Свободная переменная унифицируется
• # Предикаты digit и tuple определяются следующим образом:digit(0). digit(1). digit(2). tuple(t(X, Y)) :- digit(X), Y = -X. Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?
• # Определение предикатов 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(). Укажите правильное объявление предиката grandparent: