Определение предиката member1 имеет вид:member1(H, [H, _ | _]). member1(H, [_, _ | T]) :- !, member1(H, T). Сколько решений имеет цель member1(X, [1, 2, 3, 4, 5])?

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

• # Определение предиката p имеет вид: p([father(robert, jackson)]). p([mother(ann, smith), father(thomas, smith)]). Напишите ответ на запрос p([father(_, X) | _]):
• # Определение предиката go имеет вид: go(2):- write('a'), fail. go(N):- N > 1, write('a'), N1 = N - 1, go(N1). go(_). Сколько раз будет напечатан символ 'a' в результате вызова цели go(4)?
• # Определение предиката append имеет вид:append([], L, L). append([A | L1], L2, [A | L]) :- append(L1, L2, L). Какое значение примет переменная L в результате вызова append([1, 2], [2, 3], L)?
• # Определение предиката suffix имеет вид:suffix(L, L). suffix([_ | L1], L2]) :- suffix(L1, L2). Сколько решений имеется для цели suffix([], L)?
• # Определение предикатов arc и conn имеет вид: arc(1, 2). arc(1, 3). arc(3, 4). conn(X, X). conn(X, Z):- arc(X, Y), conn(Y, Z). Сколько решений имеет цель conn(1, X), conn(X, 4) ?