Последовательности вычислений

let

(LET ( (локальная_переменная1 значение1) ( локалная_переменная2_значение2 )… ) форма1 форма2 … )

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

>(SETQ A 1)

1

>(LET ((A 2)) (+ A 1))

3

>A

1

prog1

prog2

prong

(progn форма1 форма2 форма3…)

Позволяет выполнять последовательные вычисления форм. Возвращается значение, соответственно, первой, второй и последней формы.

>(PROG1 1 2 3)

1

>(PROG2 1 2 3)

2

>(PROGN 1 2 3)

3

>(progn (setq A 5) (setq B 7))

7

>A

5

>B

7

cond

(cond (условие1 форма1) (условие форма2)…)

Реализует таблицу решений. В зависимости от выполняемого условия возвращает сопоставленное ему выражение. Аргументами COND являются списки из двух элементов, первый из которых указывает на условие, а второй определяет, какое значение при выполнении этого условия должен вернуть COND. Если ни одно условие не подойдёт, возвращается NIL. Ветви просматриваются последовательно, и как только одно из условий оказывается истинным, выполнение COND завершается

>(SETQ DAY 3)

3

>(COND

((EQL DAY 1) "Monday")

((EQL DAY 2) "Tuesday")

((EQL DAY 3) "Wednesday")

((EQL DAY 4) "Thursday")

((EQL DAY 5) "Friday")

((EQL DAY 6) "Saturday")

((EQL DAY 7) "Sunday")

(T "Check your calendar")

)

"Wednesday"

if

(if условие форма-для-истинности форма-для-ложности)

Реализует простой условный оператор. Содержит три аргумента - условие, результат, если условие истинно, результат, если условие ложно. Соответствует оператору (cond (Условие результат-при-истинном-условии) (T результат-при-ложном-условии))

>(SETQ NUMBER 100)

100

>(IF (> NUMBER 0) "Natural" "Not Natural")

"Natural"

>( SETQ NUMBER -100)

-100

>(IF (> NUMBER 0) "Natural" "Not Natural")

"Not Natural"

when

(when условие значение-при-истинности)

Модифицированный вариант оператора COND, содержит в качестве параметров одно условие (первый параметр) и несколько форм, которые вычисляются последовательно при истинности условия. Возвращается значение последней вычисленной формы.

unless

(unless значение-при-ложности)

То же самое, что и WHEN, однако формы вычисляются, если условие ложно.

case

(case ключ (список-ключей форма1 форма2…) (список-ключей форма1 форма2…)…)

Традиционная таблица решений (сходна с соответствующим оператором языка Pascal). Содержит первый параметр - ключ, который вычисляется перед обработкой всех остальных параметров. Остальные параметры состоят каждый из списка ключей и последовательности вычисляемых форм, причём вычисляются формы (и возвращается последняя из них) в том случае, если значение ключа CASE было найдено в списке ключей одного из параметров.

>(SETQ NUMBER 100)

100

>(SETQ NUMBER 100)

100

>(WHEN (> NUMBER 0) "Natural")

"Natural"

>(UNLESS (> NUMBER 0) "Not Natural")

NIL

>( SETQ NUMBER -100)

-100

>(WHEN (> NUMBER 0) "Natural")

NIL

>(UNLESS (> NUMBER 0) "Not Natural")

"Not Natural"

>(SETQ DAY 3)

3

>(CASE DAY

(1 "Monday")

(2 "Tuesday")

(3 "Wednesday")

(4 "Thursday")

(5 "Friday")

(6 "Saturday")

(7 "Sunday")

(T "Check your calendar")

)

"Wednesday"

do

(do ((переменная начальное-значение приращение)…) (условие-окончания форма1 форма2 …) форма 11 форма12…)

Функция является наиболее общим вариантом организации циклов. Реализуется в форме DO Инициализация Условие Тело цикла. Инициализация является списком правил, каждое из которых состоит из имени переменной, начального значения и приращения, Условие состоит из собственно условия выхода и вычисляемых форм, которые вычисляются при возврате функцией значения (как обычно, возвращается последняя). Наконец тело представляет собой последовательность вычисляемых форм, которые выполняются каждый раз при новой итерации. К сожалению, не во всех версиях Lisp поддерживается приращение итератора. В таких слуяаях необходимо выполнять её приращение отдельным кодом.

>(defun f1 (x)

(do

((res 1) (rs 1))

((eql x 0) rs)

(setq rs (* res rs))

(setq x (- x 1))

(setq res (+ res 1))

))

F1

>(f1 5)

120

loop

(loop форма 1 форма2…)

Функция повторяет вычисление своих форм до тех пор, пока среди них не встретится оператор RETURN

return

(return результат)

Функция позволяет выйти из цикла и вернуть значение для операторов LOOP и PROG.

>(defun f1 (x)

(progn

(setq res 1)

(loop

(setq res (* res x))

(setq x (- x 1))

(if (eql x 0) (return res))

)))

F1

>(f1 5)

120

prog

(prog(переменная1 переменная2… ) оператор1 оператор2…)

позволяет программировать в традиционном процедурном стиле, используя передачу управления между последовательными операторами. Позволяет использовать в качестве своих форм операторы GO и RETURN

go

(go метка)

Функция позволяет выполнить внутри оператора PROG переход на некоторую метку. Форма считается меткой если она является символом или числом.

>(defun exp1 (x n)

(prog (res)

(setq res x)

loop

(if (= n 1) (return res))

(setq res (* res x))

(setq n (- n 1))

(go loop)

)

)

EXP1

>(exp1 2 3)

8