Indentation is your friend, not your enemy:
(define (y a n x)
(if (= n 0)
a
(* 0.5 (+ (y a (- n 1) x)
(/ x (y a (- n 1) x)) )) ))
(define (f a x e)
(do ( (n 0 (+ n 1)) )
( (< (abs (- (sqr (y a n x))
(sqr (y a (- n 1) x)) ))
e)
("end of loop"))
(display (y a n x))
(newline)))
. Prolog. .
-, n- (n-1) - . , .
, .
Corecursion, .. , .
, n 0 , n ,
0
1 0
2 1 0
3 2 1 0
....
, 0, 1:
0 1 2 3 ....
, ?
, ? ! n
.
, (- 0 1)
- , y
do
f
, , . , ; ( ), , .