Определение предикатa color имеет вид:color(red). color(yellow). color(yellow) :- !. color(green). Цель findall(X, color(X), L) имеет решение:

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

• # Определение предиката count имеет вид: count(leaf, 0). count(bt(L, _, R), X):- count(L, Y), count(R, Z), X = Y + Z + 1. Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?
• # Выберите из списка терм и соответствующий ему домен: 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.
• # В языке Visual Prolog классы могут порождать объекты
• # Определение предикатa color имеет вид:color(red). color(yellow). color(green):- !.Цель findall(X, color(X), L) имеет решение:
• # Укажите все предикаты, которые используются для добавления фактов во внутреннюю базу данных: