2023 PMI Quizz

Какой будет результат унификации: [X,Y] = [1,2,3]?

• Не унифицируются

• X=1, Y=[2,3]

• X=1, Y=2

• X=[1], Y=[2,3]

Какие термы унифицируются? Выберите все варианты.

• f(a,b) = f(X,y)

• f(_,_) = f(1,2)

• f(X,X+1) = f(1,2)

• a+1=a+X

Что делает слеюущий предикат:
p(A,B,C) :- append(_,[B,C],A).

• Выделяет два последних элемента списка

• Разделяет список на два подсписка B и C

• Разделяет список на два подсписка A и B

• Проверяет, что заданные элементы входят в список

Для чего нужны структурные термы в Прологе? Выберите все варианты

• Для преставление арифметических выражений

• Для преставления списков

• Для представления сложных структур данных (даты, ...)

• Для бэктрекинга

Что делает стандартный предикат append? Выберите все варианты.

• Разбивает список на две части

• Объединяет два списка

• Генерирует все перестановки списка

• Проверяет, можно ли составить список из заданных элементов

Что делает следующий предикат?
p(X,[X,_]).
p(X,[_|T]) :- p(X,T).

• Генерация списка из заданного элемента X

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

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

• Проверка упорядоченности списка

Предикат p(X) должен генерировать бесконечную последовательность нулей. Первая строчка его описания: p(0). Какая вторая строчка?

• p(X) :- p(X).

• p(_).

• p(X) :- 0.

• p(_) :- !.

Предикат p описан следующим образом:
p([],X,X).
p([X|T],B,[X|R]) :- p(T,B,R).
Какой будет первый результат X выполнения запроса (впишите только ответ):
?- p([_,_],X,[1,2,3]).

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

• Нет решений

• 1

• 3

• 4

Какие решения будут у следующего запроса:
?- member(X,[1,2,3,4]), X<3, !.

• Нет решений

• X=1

• X=1
  X=2
  X=3

• X=4

• X=3
  X=4