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

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

• # Запрос – это
• # Напишите значение, которое примет переменная S в результате вызова цели S = string::replacePart("prolog", 5, 0, "n") :
• # В результате вызова в PIE цели functor(Term, person, 2), arg(1, Term, bob) переменная Term примет значение
• # Определение предиката num имеет вид: num(X, X). num(X, Y) :- X > 0, X1 = X - 2, num(X1, Y). Сколько решений имеет цель num(5, X)?
• # Определение предиката member2 имеет вид:member2(H, [_, H | _]). member2(H, [_, _ | T]) :- member2(H, T). Сколько решений имеет цель member2(X, [1, 2, 3, 4, 5])?