Определение предиката prefix имеет вид:prefix(_, []). prefix([A | L1], [A | L2]) :- prefix(L1, L2). Сколько решений имеется для цели refix([1, 2], L)?

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

• # Отношение likes определяется в виде: likes(bob, X) :- likes(ann, X). likes(ann, books). likes(tom, ann). Вариантом правила likes(bob, X) :- likes(ann, X) является правило
• # Определение предикатов lang и print имеет вид:lang(1, prolog). lang(2, python). lang(3, pascal). print() :- lang(N, L), write(L), nl, fail. print(). Сколько названий языков будет напечатано при вызове цели print()?
• # Определение предиката go имеет вид: go(2):- fail. go(N):- N > 1, write('a'), N1 = N - 1, go(N1). go(_). Сколько раз будет напечатан символ 'a' в результате вызова цели go(4)?
• # Определение предиката g имеет вид: g(0, R, R):- !. g(X, C, R):- X1 = X - 1, C1 = 3 * C, g(X1, C1, R). Какое значение примет переменная Y в результате вызова цели g(2, 1, Y)?
• # Определение предикатов arc, cont и path имеет вид: arc(1, 3). arc(3, 4). cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)). path([[Y | L] | _], Y, [Y | L]). path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(PL, L1, PL1), path(PL1, Y, R). Предикат path реализует алгоритм