Отсечение в запросе используется для того, чтобы запретить поиск альтернативных решений для подцелей, расположенных

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

• # Эрбранов универсум логической программыlikes(bob, X) :- likes(ann, X). likes(ann, books). выглядит следующим образом:
• # В результате вызова в PIE цели L = [[1] | _], L = [_, [], 2] переменная L примет значение
• # Определение предикатов lang и print имеет вид:lang(1, prolog). lang(2, python). lang(3, pascal). print() :- lang(N, L), write(L), nl, fail. print(). Сколько названий языков будет напечатано при вызове цели print()?
• # Определение предиката go имеет вид: go(2):- write('a'), fail. go(N):- N > 1, write('a'), N1 = N - 1, go(N1). go(_). Сколько раз будет напечатан символ 'a' в результате вызова цели go(4)?
• # Определение предикатов difference и member имеет вид: difference([], _, []). difference([A | L1], L2, L) :- member(A, L2), !, difference(L1, L2, L). difference([A | L1], L2, [A | L]) :- difference(L1, L2, L). member(X, [X | _]):- !. member(X, [_ | L]):- member(X, L). Какое решение имеет цель difference([4, 3, 2, 1], [1, 3, 5], L) ?