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

UptoLike

Составители: 

20
[11] (не t)
()
[12] (не nil)
#T
COND условно выбирает и вычисляет одну из серий операндов, например:
[13] (define (сравнить х у) (cond ((> х у) '(х больше у))((< х у) '(х меньше у))(t
'равны)))
СРАВНИТЬ
[14] (сравнить 4 5)
(Х МЕНЬШЕ У)
[15] (сравнить 67 20)
(Х БОЛЬШЕ У)
[16] (сравнить 6 6)
РАВНЫ
Предикаты AND и OR
AND в случае истинности возвращает значение своего последнего аргумента.
Синтаксис:
(AND условие1 условие2 ... условиеN)
[0] (AND ‘a ‘b ‘c NIL)
()
[1] (AND ‘a ‘b ‘c)
C
[2] (AND NIL ‘a ‘b)
()
OR в случае истинности возвращает значение первого аргумента, отличного от
NIL. Синтаксис:
(OR условие1 условие2 ... условиеN)
[0] (OR ‘a ‘b nil)
A
[1] (OR nil nil ‘a ‘b)
A
Предложения IF, WHEN, CASE
В ряде случаев использовать COND неудобно. Поэтому введены и другие
условные выражения.
(IF условие то-форма иначе-форма) Ù (COND (условие то-форма) (T иначе-форма))
                                           20

        [11] (не t)
        ()
        [12] (не nil)
        #T

      COND условно выбирает и вычисляет одну из серий операндов, например:


       [13] (define (сравнить х у) (cond ((> х у) '(х больше у))((< х у) '(х меньше у))(t
'равны)))
       СРАВНИТЬ
       [14] (сравнить 4 5)
       (Х МЕНЬШЕ У)
       [15] (сравнить 67 20)
       (Х БОЛЬШЕ У)
       [16] (сравнить 6 6)
       РАВНЫ

Предикаты AND и OR
      AND в случае истинности возвращает значение своего последнего аргумента.
Синтаксис:
(AND условие1 условие2 ... условиеN)

        [0] (AND ‘a ‘b ‘c NIL)
        ()
        [1] (AND ‘a ‘b ‘c)
        C
        [2] (AND NIL ‘a ‘b)
        ()

      OR в случае истинности возвращает значение первого аргумента, отличного от
NIL. Синтаксис:
(OR условие1 условие2 ... условиеN)

        [0] (OR ‘a ‘b nil)
        A
        [1] (OR nil nil ‘a ‘b)
        A

Предложения IF, WHEN, CASE
      В ряде случаев использовать COND неудобно. Поэтому введены и другие
условные выражения.

(IF условие то-форма иначе-форма) Ù (COND (условие то-форма) (T иначе-форма))