Ознакомительная работа в среде MuLisp

       Синтаксис определения макроса выглядит так же, как синтаксис используемой при определении функций формы DEFUN:

       (DEFMACRO имя лямбда-список тело)

       Вызов макроса совпадает по форме с вызовом функции, но его вычисление отличается от вычисления вызова функции. Первое отличие состоит в том, что в макросе не вычисляются аргументы. Тело макроса вычисляется с аргументами в том виде, как они записаны.

       Второе отличие состоит в том, что интерпретация функций, определенных как макро, производится в два этапа. На первом, называемом макрорасширением, происходит формирование лямбда-определения функции в зависимости от текущего контекста, на втором осуществляется интерпретация созданного лямбда-выражения. 

       _(DEFMACRO setqq (x y)

                (LIST ‘SETQ x (LIST ‘QUOTE y))) р setqq

       _(setqq a (b c)) р (b c)

       _a р (b c) 

       Макросы отличаются от функций и в отношении контекста вычислений. Во время расширения макроса доступны синтаксические связи из контекста определения. Вычисление же полученной в результате расширения формы производится вне контекста макровызова, и поэтому статические связи из макроса не действуют. Использование макрофункций облегчает построение языка с лиспоподобной структурой, имеющего свой синтаксис, более удобный для пользователя. Чрезмерное использование макросредств затрудняет чтение и понимание программ. 

       5. Задания к лабораторной работе.

       1. Напишите рекурсивную функцию, определяющую сколько раз функция FIB вызывает саму себя. Очевидно, что FIB(1) и FIB(2) не вызывают функцию FIB.

       2. Напишите функцию для вычисления полиномов Лежандра (P0(x)=1, P1(x)=x, Pn+1(x)= ((2*n+1)*x*Pn(x)-n*Pn-1(x))/(n+1) при n>1).

       3. Напишите функцию:

1. вычисляющую число атомов на верхнем уровне списка (Для списка (а в ((а) с) е) оно равно трем.);
2. определяющую число подсписков на верхнем уровне списка;
3. вычисляющую полное число подсписков, входящих в данный список на любом уровне.

       4. Напишите функцию:

1. от двух аргументов X и N, которая создает список из N раз повторенных элементов X;
2. удаляющую повторные вхождения элементов в список;
3. которая из данного списка строит список списков его элементов, например, (a b) р ((a) (b));
4. вычисляющую максимальный уровень вложения подсписков в списке;
5. единственным аргументом которой являлся бы список списков, объединяющую все эти списки в один;
6. зависящую от трех аргументов X, N и V, добавляющую X на N-е место в список V.

       5. Напишите функцию:

1. аналогичную функции SUBST, но в которой третий аргумент W обязательно должен быть списком;
2. которая должна производить замены X на Y только на верхнем уровне W;
3. заменяющую Y на число, равное глубине вложения Y в W, например Y=A, W=((A B) A (C (A (A D)))) р ((2 B) 1 (C (3 (4 D))));
4. аналогичную функции SUBST, но производящую взаимную замену X на Y, т. е. X р Y, Y р X.

       6. Вычислите значения следующих вызовов:

1. (APPLY ‘LIST ‘(a b));
2. (FUNCALL ‘LIST ‘(a b));
3. (FUNCALL ‘APPLY ‘LIST ‘(a b));
4. (FUNCALL ‘LIST ‘APPLY ‘(a b);

       7. Определите функционал (A-APPLY f x), который применяет каждую функцию fi списка

       f = (f1 f2 ... fn)

       к соответствующему элементу xi списка

       x = (x1 x2 ... xn)                             

       и возвращает список, сформированный из результатов.

       8. Определите функциональный предикат (КАЖДЫЙ пред список), который истинен в том и только в том случае, когда, являющийся функциональным аргументом предикат пред истинен для всех элементов списка список.

       9. Определите функциональный предикат (НЕКОТОРЫЙ пред список), который истинен, когда предикат истинен хотя бы для одного элемента списка.                                      

       10. Определите FUNCALL через функционал APPLY.

       11. Определите функционал (MAPLIST fn список) для одного списочного аргумента.

       12. Определите макрос, который возвращает свой вызов.

       13. Определите лисповскую форму (IF условие p q) в виде макроса. 

Примеры написания функций.

;Subst - заменяет все вхождения Y в W на X.

(DEFUN subst (x y w)

               (COND ((NULL w) NIL)      ;проверка на окончание списка

                            ((EQUAL ‘y ‘w) x) 

                            ((ATOM ‘w) w)      ;

                            (t (CONS (subst x y (car w))   ;поиск в глубину

                                            (subst x y (cdr w)))))) ;поиск в ширину    

;COMPARE1 - сравнение с образцом

(defun compare1  (p d)

       (cond ((and (null p) (null d)) t)  ;исчерпались списки?

                ((or (null p) (null d)) nil) ;одинакова длина списков?

                 ((or (equal1 (car p) '&)  ;присутствует в образце атом &

                           (equal1 (car p) (car d))) ;или головы списков равны

         (compare1 (cdr p) (cdr d)))   ;& сопоставим с любым атомом

         ((equal1 (car p) '*)     ;присутствует в образце атом *

         (cond ((compare1 (cdr p) d))  ;* ни с чем не сопоставима

       ((compare1 (cdr p) (cdr d))) ;* сопоставима с одним атомом

                                 ((compare1 p (cdr d))))))) ;* сопоставима с несколь               ;кими атомами 

       6. Вопросы.

       1. Что такое рекурсия?

       2. Назовите достоинства ее использования?

       3. Что такое функционал?

       4. Назовите особенности применяющих и отображающих функционалов?

       5. Для чего они используются?

       6. Что такое макрос?

       7. Когда их используют?

             Лабораторная работа №5.

       Тема: Типы данных и средства работы с ними. Представление знаний.

       Цель: Изучить типы данных, используемые в MuLisp, а так же научиться применять их в программах.

                                       

1. Точечная нотация.
2. Структурированные типы данных.
3. Представление знаний.
4. Задания к лабораторной работе.
5. Вопросы.

 

       1. Точечная нотация.

       В Лиспе существует понятие точечной пары. Название точечной пары происходит из использованной в ее записи точечной нотации, в которой для разделения полей  CAR и CDR используется выделенная пробелами точка. Базовые функции CAR и CDR действуют совершенно симметрично. 

       _(CONS ‘a ‘d) р (a . d)

       _(CAR ‘(a . b)) р a

       _(CDR ‘(a . (b . c))) р (b . c) 

       Любой список можно записать в точечной нотации. Преобразование можно осуществить (на всех уровнях списка) следующим образом:

       (a1 a2 ... an) у (a1 . (a2 .  ...(an . nil)... )) 

       _(a b c (d e)) у (a . (b . (c . ((d . (e . nil)) . nil)))) 

       Признаком списка здесь служит NIL в поле CDR последнего элемента списка, символизирующий его окончание.

       Использование точечных пар в программировании на Лиспе в общем-то излишне. Точечные пары применяются в теории, книгах и справочниках по Лиспу. Кроме того они используются совместно с некоторыми типами данных и с ассоциативными списками, а также в системном программировании. 

       2. Структурированные типы данных.

       Списки (ассоциативные).     

       Ассоциативный список или просто а-список - состоит из точечных пар, поэтому его также называют списком пар.

       ((a1 . t1) (a2 . t2) ... (an . tn)) 

       Первый элемент пары называют ключом а второй - связанными с ключом данными. Обычно ключом является символ. связанные с ним данные могут быть символами, списками или какими не будь другими лисповскими объектами.

       В работе со списками пар нужно уметь строить списки, искать данные по ключу и обновлять их.

       PAIRLIS.

       Функция PAIRLIS строит а-список из списка ключей и списка, сформированного из соответствующих им данных. Третьим аргументом является старый а-список, в начало которого добавляются новые пары:

       (PAIRLIS ключи данные а-список) 

       _(SETQ спис ‘(один . Иванов)) р (один . Иванов)

       _(SETQ спис