2023 ЛП ПМИ

Выберите правильный вариант результата унификации: [X,Y|_]=[a,b,c,d]

• X=a, Y=[b,c,d]

• X=a, Y=b

• X=[a,b] Y=[c,d]

• X=[a,b,c,d], Y=[]

Какие термы будут унифицироваться. Выберите все варианты.

• X и Y+1

• f(A,B) и Х

• f(X,Y) и f(Z)

• f([A,B]) и f(X)

Список в Прологе это:

• специальный вид терма, представляющего последовательность элементов - произвольных термов.

• рекурсивная структура, состоящая из головы и "хвоста".

• специальный вид терма, представляющего последовательность произвольных термов за исключением списков.

• линейная структура, состоящая из 1 и более произвольных элементов

Стандартный предикат member используется для:

• Проверки принадлежности элемента списку

• Конкатенации списков

• Перебора элементов списка

• Генерации всевозможных перестановок списка

Для чего служит предикат p, определенный следующим образом:

p(X,A):-append(_,[X,_],A),

• Нахождение предпоследнего элемента списка

• Конкатенация списков

• Нахождение среднего элемента списка

• Нахождение следующего за Х элемента

Для чего служит предикат, определенный следующим образом?

f([A,B]). f([_,_|T]):-f(T).

• Проверка на четность числа элементов списка

• Проверка на нечетность числа элементов списка

• Проверка на непустой список с четным числом элементов списка

• Проверка на равенство 2 длины списка

Выберите вторую строку предиката генерации натуральных чисел. Первая строка: p(1).

• p(X) :- p(Y), X is Y+1.

• p(X,Y) :- p(Y), X is Y+1.

• p(X) :- X is Y+1, p(Y).

• p(Y):-Y is Y+1.

Дан предикат p:

p([], Z, Z).

p([X|T], Y, [X|Z]) :- p(T,Y,Z).

Впишите какое значение примет Х при запросе: ?-p([_,_,_],X,[a,b,c,d]).

Сколько вариантов решений у запроса ?-append(X,Y,[1,2,3,4]).

• 2

• 3

• 4

• 5

• 1

Какие решения выдаст предикат: p(X) :- remove(X,[1,2,3,4],_), X>3, !.

• 4

• 1,2,3,4

• 1,2,3

• 3,4