Укажите все списки, с которыми унифицируется список [_, 2 | _]:

вопрос

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

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

Отправить

• # Определение предиката scan имеет вид:scan(S) = [Tok | scan(Rest)]:- string::frontToken(S, Tok, Rest), !. scan(_) = []. Какое значение примет переменная S в результате вызова S = scan("f(g(1)).")?
• # Определение предикатов pet и unif имеет вид:pet(h(C, N, Pt, D, S), P) = h(C, N, P, D, S):- unif(Pt, P). unif(X, Y):- X = empty, !; Y = X. Вызов <…>, House = pet(h(empty, empty, Pt, empty, empty), P) успешен
• # Определение предикатa digit имеет вид:digit(0). digit(1):- !. digit(2). Сколько решений имеет цель digit(X), digit(Y), !, digit(Z)?
• # Определение предиката print имеет вид:print() :- repeat(), write('a'), !. print(). Сколько раз будет напечатан символ 'a' при вызове цели print()?
• # Укажите предикат, который может возвращать сведения из фактов, удаляемых из внутренней базы данных: