Определение предиката append имеет вид:append([], L, L). append([A | L1], L2, [A | L]) :- append(L1, L2, L). Какое значение примет переменная L в результате вызова append(L, [_, 2], [1, 2, 3])?

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

• # Проигрышная позиция в игре – это позиция,
• # Определение предиката conc в PIE имеет вид:conc(d(A, B), d(B, C), d(A, C)). В результате вызова conc(d([1, 2 | X], X), d([2, 3], []), d(L, _)) переменная X примет значение
• # В результате вызова в PIE цели functor(F, animal, 1), functor(B, bird, 1), arg(1, F, B), arg(1, B, swan) переменная F примет значение
• # Являются унифицируемыми термы
• # Определение предикатa color имеет вид:color(red):- !. color(yellow). color(green). Цель findall(X, color(X), L) имеет решение: