Micro Lisp. Основные понятия, структуры и функции. Яшин Л.З. - 10 стр.

                                        10



      Для того, чтобы можно было включить первый аргумент функции CONS в
качестве первого элемента значения второго аргумента этой функции, второй
аргумент должен быть списком. Значением функции CONS всегда будет список:
     cons: s-выражение х список --> список
       Примеры
       [1] (cons ‘a '())
       (A)
       [2] (cons "a" '(b c))
       ("a" B C)
       [3] (cons 'a 3)
       (A . 3)
       [4] (cons 'a '3)
       (A . 3)
       [5] (cons '(a) '(3))
       ((A) 3)
       [6] (cons 'a '(3))
       (A 3)
       [7] (cons nil '(b c d))
       (() B C D)
       [8] (cons '(b c d) nil)
       ((B C D))
       [9] (cons 'nil '(b c d))
       (NIL B C D)
       [10] (cons nil nil)
       (())
       [11] (cons 'nil 'nil)
       (NIL . NIL)
       [12] (cons '(nil) '(nil))
       ((NIL) NIL)

                           ПРЕДИКАТЫ ЯЗЫКА MICRO-LISP
Предикат проверяет наличие некоторого свойства
      Чтобы осуществлять допустимые действия со списками и избежать ошибочных
ситуаций, нам необходимы, кроме селектирующих и конструирующих функций,
средства опознавания выражений. Функции, решающие эту задачу, в Лиспе
называются предикатами.
      Предикат — это функция, которая определяет, обладает ли аргумент
определенным свойством и возвращает в качестве значения логическое значение
«ложь», т. е. NIL, или «истина», которое может быть представлено символом Т или
любым выражением, отличным от NIL.