Выберите из списка терм и соответствующий ему домен:

t(1, [t(2, []), t(3, []), t(4, [])])

t(nil, 1, t(nil, 2, nil))

tree{A} = t(A, tree{A}*).

tree = t(integer, tree, tree); nil.

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

• # Определение предикатов count и count1 имеет вид: count(t(X, L), Z):- count1(L, Y), Z = Y + X. count1([], 0). count1([T | L], Z):- count(T, X), count1(L, Y), Z = X + Y. Какое значение примет переменная S в результате вызова цели count(t(1, [t(2, [t(2, [])]), t(1, [])]), S) ?
• # Отметьте верное утверждение. Поиск в глубину на графе пространства состояний обычно используется:
• # Динамическое отсечение используется
• # Определение предиката member2 имеет вид:member2(H, [_, H | _]):- !. member2(H, [_, _ | T]) :- member2(H, T). Сколько решений имеет цель member2(X, [1, 2, 3, 4])?
• # Определение предикатов 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 реализует алгоритм