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

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

• # Определение предикатов tmember и member имеет вид: tmember(t(X, _), X). tmember(t(_, TL), X):- member(T, TL), tmember(T, X). member(T, [T | _]):- !. member(T, [_ | L]):- member(T, L). Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?
• # В результате вызова string::frontToken(" Karl meets Carla.", X, Y)переменные X и Y примут значения:
• # В результате вызова string::frontToken(" f(g( a ))", X, Y) переменные X и Y примут значения:
• # Сколько элементов содержит список [[1, 2, 3, 4]]?
• # Определение предиката go имеет вид: go(2):- write('a'), fail. go(N):- N > 1, write('a'), N1 = N - 1, go(N1). go(_). Сколько раз будет напечатан символ 'a' в результате вызова цели go(4)?