Определение предикатов min и run имеет вид:min(X, Y, X):- X < Y, !.min(X, Y, Y):- X >= Y. run():- min(1, 3, X), write(X), nl, fail; _ = readLine(). Укажите правильное объявление предиката min:

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

• # Определение предикатов tmember и member имеет вид: tmember(t(X, _), X). tmember(t(_, TL), X):- member(T, TL), tmember(T, X). member(T, [T | _]):- !. member(T, [_ | L]):- member(T, L). Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?
• # Определение предиката count имеет вид:count(L1, L2) = length(filter(L1, {(X):- isMember(X, L2)})). Какое значение примет переменная L в результате вызова цели L = count([1, 2, 3], [3, 2, 5])?
• # Определение предиката digit имеет вид:digit(1). digit(0). В каком порядке будут найдены решения для цели digit(X), digit(Y)? X = 0, Y = 0X = 1, Y = 1X = 0, Y = 1X = 1, Y = 0
• # Определение функции f имеет вид: f(0, R) = R:- !. f(X, C) = f(X - 1, C * C - 2). Какое значение примет переменная Y в результате вызова цели Y = f(2, 2)?
• # Определение предиката reverse имеет вид:reverse([], L, L). reverse([A | L1], L2, L) :- reverse(L1, [A | L2], L). В результате вызова reverse([1, 2, 2], [], L) переменная L примет значение