home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont8 < prev    next >
Encoding:
Text File  |  1990-02-26  |  1.0 KB  |  41 lines  |  [TEXT/Help]
  1. ;module + boulot = diplome
  2.  
  3. (r0 e t r1 m o l r2 u r3 d r4 p b i)
  4.  
  5. ((=? (+ e t) (+ e (* 10 r0)))
  6.  (=? (+ r0( + l o)) (+ m (* 10 r1)))
  7.  (=? (+ r1 (+ u l)) (+ o (* 10 r2)))
  8.  (=? (+ r2(+ d u)) (+ l (* 10 r3)))
  9.  (=? (+ r3 (+ o o)) (+ p (* 10 r4)))
  10.  (=? (+ r4(+  m b)) (+ i (* 10 d)))
  11.  (<>? m 0)(<>? b 0)(<>? d 0)
  12.  (<>? m o) (<>? m d) (<>? m u) (<>? m l)
  13.  (<>? m e) (<>? m b) (<>? m t) (<>? m i)
  14.  (<>? m p) (<>? o d) (<>? o u) (<>? o l)
  15.  (<>? o e) (<>? o b) (<>? o t) (<>? o i)
  16.  (<>? o p) (<>? d u) (<>? d l) (<>? d e)
  17.  (<>? d b) (<>? d t) (<>? d i) (<>? d p)
  18.  (<>? u l) (<>? u e) (<>? u b) (<>? u t)
  19.  (<>? u i) (<>? u p) (<>? l e) (<>? l b)
  20.  (<>? l t) (<>? l i) (<>? l p) (<>? e b)
  21.  (<>? e t) (<>? e i) (<>? e p) (<>? b t)
  22.  (<>? b i) (<>? b p) (<>? t i) (<>? t p)
  23.  (<>? i p))  
  24.  
  25. ((0 1)
  26.  (0 1 2 3 4 5 6 7 8 9)
  27.  (0 1 2 3 4 5 6 7 8 9)
  28.  (0 1)
  29.  (0 1 2 3 4 5 6 7 8 9)
  30.  (0 1 2 3 4 5 6 7 8 9)
  31.  (0 1 2 3 4 5 6 7 8 9)
  32.  (0 1)
  33.  (0 1 2 3 4 5 6 7 8 9)
  34.  (0 1)
  35.  (0 1)
  36.  (0 1)
  37.  (0 1 2 3 4 5 6 7 8 9)
  38.  (0 1 2 3 4 5 6 7 8 9)
  39.  (0 1 2 3 4 5 6 7 8 9))
  40.  
  41.