Отсечение используется:

вопрос

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

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

Отправить

• # Программа имеет вид: parent(bob, peter). parent(ann, bob). parent(peter, mary). Напишите значение, примет переменная X при вызове parent(ann, X)?
• # Определение предиката member имеет вид: member(bt(leaf, X, leaf), X). member(bt(L, _, R), X):- member(L, X); member(R, X). Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 3, leaf)), 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) ?
• # Не унифицируется пара термов
• # Укажите все списки, с которыми унифицируется список [_, _ | _]?