Укажите значение переменной X, которое она примет после вызова подцели:

L = [tuple(5, 2, 1), tuple(4, 5, 10), tuple(2, 6, 9), tuple(3, 8, 5)], X = list::maximum(L).

Укажите значение переменной X, которое она примет после вызова подцели

L = [tuple(2, 3, 10), tuple(3, 2, 1), tuple(1, 4, 6), tuple(2, 3, 5)], tuple(_, _, X) = list::maximum(L).

Укажите значение переменной X, которое она примет после вызова подцели:

L = [tuple(2, 3, 8), tuple(3, 2, 1), tuple(1, 4, 9), tuple(4, 5, 5)], tuple(_, X, _) = list::minimum(L).

Определение предиката move имеет вид:

move() = tuple(I, J):-   	       L = [tuple(0, 0), tuple(0, 1), tuple(0, 2), tuple(1, 0), tuple(1, 1), tuple(1, 2)],                   tuple(I, J) in L,                   list::all(L, {(tuple(_, J1)):- math::abs(J - J1)) <= 1}).

Укажите все решения, которые имеет цель X = move()?

Определение предиката move имеет вид:

move() = tuple(I, J):-   	       L = [tuple(0, 0), tuple(0, 1), tuple(0, 2), tuple(1, 0), tuple(1, 1), tuple(1, 2)],                   tuple(I, J) in L,                   list::all(L, {(tuple(I1, J1)):- math::max(math::abs(I - I1), math::abs(J - J1)) <= 1}).

Сколько решений имеет цель X = move()?

Определение предиката move имеет вид:

move() = tuple(I, J):-   	       L = [tuple(0, 0), tuple(0, 1), tuple(0, 2), tuple(1, 0), tuple(1, 1)],                   tuple(I, J) in L,                   list::all(L, {(tuple(I1, J1)):- math::abs(I - I1) + math::abs(J - J1) <= 2}).

Сколько решений имеет цель X = move()?

Определение предиката neighbor2 имеет вид:

           neighbor2(tuple(I, J)) = tuple(I + std::fromToInStep(-2, 2, 4), J).           neighbor2(tuple(I, J)) = tuple(I, J + std::fromToInStep(-2, 2, 4)).

Сколько решений имеет цель X = neighbor2(tuple(4, 4))?

Определение предиката neighbor2 имеет вид:

           neighbor2(tuple(I, J)) = tuple(I, J + std::fromToInStep(-2, 2, 4)).

Укажите решение для цели L = [X || X = neighbor2(tuple(2, 2))]:

Пусть L1 = list::decompose([0, 1, -1, 0, 1, -1, 0], {(X) = math::abs(X)}), L2 = list::map(L1, {(tuple(I, L)) = tuple(I, list::length(L))}). Укажите элементы, которые составляют список L2

Определение предиката neighbor2 имеет вид:

           neighbor2(tuple(I, J)) = tuple(I + std::fromToInStep(-2, 2, 4), J).

Сколько решений имеет цель X = neighbor2(tuple(3, 3))?

Определение предиката coord имеет вид:

coord() = tuple(I, J):-           I = std::fromToInStep(-1, 1, 2), J = std::betweenInStep(I, -I, 2).

Сколько решений имеет цель X = coord()?