cond
(cond (EXPRESSION EXPRESSION) (EXPRESSION EXPRESSION) ...)
A cond form contains one or more branches, or "lines". Each line contains two expressions: a question expression and an answer expression. The lines are considered in order. To evaluate a line, first evaluate the question expression. If the result is true, then the result of the whole cond is the result of evaluating the answer expression of the line. If the result of evaluating the answer expression is false, the line is discarded and evaluation proceeds with the next line. If the result of the test expression is neither true nor false, it is an error. If none of the test expressions evaluates to true, it is also an error. (cond (EXPRESSION EXPRESSION) ... (else EXPRESSION))
This form of cond is similar to the prior one except that the final else clause is always taken if no prior line's test expression evaluates to true. In other words, there is no possibility that evaluation will "fall off the end" of the cond expression.
Reductions:
(cond (false e) ... (true e_1) (e e) ...) --> e_1
(cond (false e) ... (true e_1) (e e) ... (else e)) --> e_1
(cond (false e) ... (else e_1)) --> e_1
(cond (false e) ...) e--> cond: all question results were false
(cond (false e) ... (v_1 e) (e e) ...) e--> cond: question result is not true or false
where v_1 is not false, v_1 is not true, and v_1 is not else
(cond (false e) ... (v_1 e) (e e) ... (else e)) e--> cond: question result is not true or false
where v_1 is not false, v_1 is not true, and v_1 is not else
Beginning Student Language