Функциональное и логическое программирование. Экзамен

Программа
в среде программирования XLisp, SWI-Prolog

Если Вы считаете, что данная страница каким-либо образом нарушает Ваши авторские права, то Вам следует обратиться в администрацию нашего сайта по адресу info@kursovik.com либо через форму обратной связи

Среда программирования: XLisp, SWI-Prolog

Название работы: Функциональное и логическое программирование. Экзамен

Вид работы: Программа

Описание: Функциональное и логическое программирование. Экзамен.

► Логическое программирование. Функциональное программирование.

Лисп

Question 1
Лисп. Сколько элементов самого верхнего уровня в следующих списках:
1) ((1 2 3));
2) ((a b) c (d (e)));
3) (a ((())) nil nil);
4) ((((a (b (c d) e) f) g) h ((i (j) k) l) m) n)
Введите последовательность ответов через пробел (в порядке нумерации).
Введите слово, словосочетание или символьно-цифровое выражение.

Пролог

Question 2
Пролог. Даны следующие утверждения:
1) каждое небесное тело, заслуживающее внимание, представляет собой либо звезду, либо планету, либо комету;
2) у комет, расположенных недалеко от Солнца, есть хвосты;
3) Венера недалеко от Солнца, но у нее нет хвоста.
Выразим их на языке хорновских клауз:
1)'небесное тело'(X):- 'заслуживает внимание'(X),
('звезда'(X);'планета'(X);'комета'(X)).
2)'есть хвост'(X):- 'недалеко от Солнца'(X), 'комета'(X).
3)'недалеко от Солнца'('Венера').
Какие переводы на языке хорновских дизъюнктов правильны? Помните, что в Прологе мир замкнут.
Введите через пробел номера правильных переводов (в порядке возрастания).
Введите слово, словосочетание или символьно-цифровое выражение.

Лисп

Question 3
Лисп. Пусть FALSE≡λx.λy.y,TRUE≡λx.λy.x
и OR≡λx.λy.(xTRUE)y
. Сколько шагов редукции при нормальной стратегии требуется для преобразования OR TRUE FALSE к нормальной форме TRUE?
Введите число.
Введите слово, словосочетание или символьно-цифровое выражение.

Пролог

Question 4
Пролог. Даны следующие утверждения:
1) каждому кто-то нравится;
2) каждому нравится каждый;
3) кому-то нравится каждый;
4) никому не нравятся все;
5) никому не нравится некто;
6) кому-то не нравится никто.
Используя предикат 'нравится'(x,y) - 'иксу нравится игрек', дан перевод этих утверждений на язык логики предикатов (не обязательно в этом порядке):
1) ∃x∀y 'нравится'(y, x);
2) ∃y∀x 'нравится'(y,x);
3) ∀x∃y 'нравится'(x,y);
4) ∃x∀y 'нравится'(x,y);
5) ∃x∀y 'нравится'(x,y);
6) ∀x∀y 'нравится'(x,y).
Введите через пробел номера переводов, соответствующих утверждениям в порядке 1), 2),:6).
Введите слово, словосочетание или символьно-цифровое выражение.

Пролог

Question 5
Пролог. Имеются три варианта определения предиката max:
1)
max(N1, N2, N2):- N2>=N1.
max(N1, N2, N1):- N2<N1.
2)
max(N1, N2, N2):- N2>=N1,!.
max(N1, N2, N1).
3)
max(N1, N2, N3):-N2>=N1, !, N3=N2.
max(N1, N2, N1).
Какие ответы даст Пролог в этих вариантах на вызов?
?- max(3, 7, 3).
Введите через пробел три соответствующих ответа (каждый ответ - слова yes или no).
Введите слово, словосочетание или символьно-цифровое выражение.

Пролог

Question 6
Пролог. Последовательность чисел Фибоначчи имеет вид
1, 1, 2, 3, 5, 8, 13,:
Каждый член последовательности, за исключением первых двух, представляет собой сумму предыдущих двух членов. Какой метод программирования позволяет написать предикат fib(N, F), эффективно (т. е. линейно по времени) вычисляющий N-ое число Фибоначчи F?
• использование запоминающих функций;
• использование отсечений;
• использование накапливающих параметров.
• такого метода нет, рекурсия всегда не эффективна;
• изменение порядка целей и предложений;
Выберите все верные ответы (может быть несколько или один).

Лисп

Question 7
Лисп. Дано определение функции
(defun f(s)
(if (null s) nil (cons (car s) (f (f (cdr s))))))
Чему равно значение (f '(1 2 3)) ? Введите ответ без лишних пробелов.
Введите слово, словосочетание или символьно-цифровое выражение.

Лисп

Question 8
Лисп. Пусть IF≡λp.λq.λr.pqr,TRUE≡λx.λy.x
Сколько шагов редукции при нормальной стратегии требуется для преобразования IF TRUE A B к нормальной форме? Указание. На каждом шаге редукции применяется только одно b- или d-правило.
Введите число.
Введите слово, словосочетание или символьно-цифровое выражение.

Пролог

Question 9
Дана цель для интерпретатора Пролога
?- parent(X,pat).
Какое из следующих двух предложений правильно передает логический смысл этого запроса:
1. "Все ли X являются родителями Pat?"
2. "Существует ли X, который является родителем Pat?"
• первое предложение;
• оба предложения не передают логический смысл запроса;
• второе предложение;
• оба предложения правильны.
Выберите все верные ответы (может быть несколько или один).

Лисп

Question 10
Лисп. Дан лямбда-терм (λx.λy.x(λz.yz))(((λx.λy.y)8)(λx.(λy.y)x))
и некоторые его подтермы:
1) x(λz.yz);
2) λx.λy.x(λz.yz);
3) λx.λy.y;
4) (λx.λy.y)8;
5) (λy.y)x;
6) λx.(λy.y)x;
7) (λx.λy.x(λz.yz))(((λx.λy.y)8)(λx.(λy.y)x));
8) ((λx.λy.y)8)(λx.(λy.y)x).
Какой из этих подтермов является самым левым из самых внешних редексов и самым левым из самых внутренних редексов?
Введите номера соответствующих подтермов через пробел (сначала номер самого левого из самых внешних редексов, потом номер самого левого из самых внутренних).
Введите слово, словосочетание или символьно-цифровое выражение.

Лисп

Question 11
Лисп. Каково значение следующего выражения
(eval (cons (quote >) (cons 5 (list ((lambda (x y) (- x y)) 3 7))))) ?
Введите значение маленькими буквами.
Введите слово, словосочетание или символьно-цифровое выражение.

Пролог

Question 12
Пролог. Какие из следующих утверждений правильные.
1. Отсечение отбрасывает все расположенные после него предложения. Если цель p унифицирована с предложением, содержащим отсечение, и отсечение выполнено, то эта цель не может быть использована для построения решений с помощью предложений, расположенных ниже данного.
2. Отсечение отбрасывает все альтернативные решения конъюнкции целей, расположенных в предложении левее отсечения, т. е. конъюнкция целей, стоящих перед отсечением, приводит не более чем к одному решению.
3. Отсечение влияет на цели, расположенные правее его. В случае возврата они не могут порождать другие решения.
Введите через пробел номера утверждений (в порядке возрастания), которые вы считаете правильными.

Год: 2023

<<< Назад к списку

Данный заказ (программа) выполнялся нашим сайтом в 2023-м году, в рамках этого заказа была разработана программа в среде программирования XLisp, SWI-Prolog. Если у Вас похожее задание на программу, которую нужно написать на XLisp, SWI-Prolog, либо на другом языке программирования, пожалуйста заполните форму, приведённую ниже, после чего Ваше задание в первую очередь рассмотрит наш программист, выполнявший в 2023-м году этот заказ, если он откажется, то Ваше задание оценят другие наши программисты в течение 48-и часов, если оценка нужна срочно, просим Вас оставить пометку об этом - напишите в тексте задания фразу "СРОЧНЫЙ ЗАКАЗ".