Определение предиката count имеет вид: count(leaf, 0). count(bt(L, _, _), X):- count(L, Y), X = Y + 1. Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?

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

• # Объявление домена, который можно использовать в других модулях, пишется:
• # Определение предиката conc в PIE имеет вид:conc(d(A, B), d(B, C), d(A, C)). В результате вызова conc(d([1, 2 | X], X), d([2, 3], [4]), d(L, _)) переменная L примет значение
• # Определение предиката num имеет вид: num(X, _, X). num(X, C, Y) :- X > 0, X1 = X - C, num(X1, C, Y). Сколько решений имеет цель num(3, 2, X)?
• # Определение предиката count имеет вид:count([], 0). count([_ | T], N) :- count(T, N1), N = N1 + 1. Какое значение примет переменная R в результате вызова цели count([1, 2, 3], R)?
• # Определение предиката append имеет вид:append([], L, L). append([A | L1], L2, [A | L]) :- append(L1, L2, L). Сколько решений имеет цель append(L1, L2, [1, 2])?