Определение предиката count имеет вид:count([H | T], C, N) :- C1 = C + H, count(T, C1, N). count([], N, N). Какое значение примет переменная R в результате вызова цели count([2, 3, 4], 0, R)?

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

• # В результате вызова S = string::concat("aa", "bb", "cc") переменная S примет значение:
• # Свободная переменная унифицируется
• # Определение предиката print имеет вид: print() :- fail, repeat(), write('a'), !. print(). Сколько раз будет напечатан символ 'a' при вызове цели print()?
• # Определение функции f имеет вид: f(0, R) = R:- !. f(X, C) = f(X - 1, C * C - 2). Какое значение примет переменная Y в результате вызова цели Y = f(2, 2)?
• # Определение предиката select имеет вид: select(A, [A | L], L). select(A, [B | L], [B | L1]):- select(A, L, L1). Сколько решений имеет цель select(0, L, [1, 2, 3]) ?