bmstu-falp

Получается лисп

Защиты Lisp

ЛР1

Устно, задачки по типу (* * *) и ,, рекурсивный setf

ЛР2

Устно, задачки про funcall

ЛР3

Квадратное уравнение на and/or

ЛР4

Аналог функции zip : (zip '((A A A) (B B B) (C C C))) -> ((A B C) (A B C) (A B C)), нельзя использовать mapcar

ЛР5

Написать свой reverse, реализовать свап двух элементов через рекурсию и задачка про мост и фонарик (посчитать оптимальное время)

ЛР6-7

Привести матрицу к диагональному виду, в качестве типа матрицы использовать тип array. В задачке ещё реализована возможность проверки, а действительно ли матрица приводится к диагональному виду (результат reduce будет равен исходной матрице):

(defvar MMM #2A(...))
(reduce #'mmul (list (eigen-m MMM) (diagonal MMM) (inv (eigen-m MMM))))

Но это не сработает, если есть кратные корни (там нереальное мета программирование по поиску ФСР начинается)

Защиты Prolog

ЛР1, ЛР2

Сопоставление SQL и PROLOG

ЛР3

Найти решения подставляя базовые операторы +, -, *, div, mod: (((5 ? 2) ? 3) ? 4) = 10

ЛР4

Тоже самое, что в 3, только через DCG

ЛР5

Дерево решений для max3clipping и max3

ЛР6

В битве двух персонажей определить, можно ли выиграть первому персонажу за X ходов

ЛР7

Дана БЗ с функциями fn(InList, OutList). Для произвольного списка аргументов найти такую функцию, чтобы подставив входящие аргументы получить выходящие. match([1, 2, 3], [1, 2], R) -> R = [plus(1, 1), minus(3, 1)...]

ЛР8

Лабиринт