Список [_] унифицируется:

вопрос

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

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

Отправить

• # Определение предиката member имеет вид: member(bt(_, X, _), X). member(bt(L, _, R), X):- member(L, X); member(R, X). Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X)?
• # Программа имеет вид: likes(ann, books). likes(tom, baseball). male(tom). male(bob). Укажите порядок нахождения решений для цели male(Y); likes(X, Y) 1) Y = bob 2) Y = tom 3) X = tom,Y = baseball 4) X = ann,Y = books
• # Определение предикатов friend и h имеет вид: friend(person(ann, 19), phone(1112233)). friend(person(bob, 18), phone(1112233)). friend(person(kate, 19), phone(4445566)). h(X) :- friend(person(X, _), Z), friend(person(Y, _), Z), X > Y. Напишите ответ на запрос h(X):
• # С каким списком не унифицируется список [1, 2]?
• # Определение предиката digit имеет вид:digit(0). digit(1).В каком порядке будут найдены решения для цели digit(X), digit(Y)? X = 0, Y = 0X = 1, Y = 1X = 0, Y = 1X = 1, Y = 0