home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont2 < prev    next >
Encoding:
Text File  |  1990-01-08  |  402 b   |  30 lines  |  [TEXT/Help]
  1. (c)
  2.  
  3. (r s l a f o)
  4.  
  5. ((<>? l 0)
  6.  (<>? f 0)
  7.  (<>? s 0)
  8.  (<>? s l)
  9.  (<>? s a)
  10.  (<>? s f)
  11.  (<>? s o)
  12.  (<>? l a)
  13.  (<>? l f)
  14.  (<>? l o)
  15.  (<>? a f)
  16.  (<>? a o)
  17.  (<>? f o)
  18.  (=? (+ a a) (+ l (* 10 r)))
  19.  (=? (+ r (+ l f)) (+ o (* s 10))))
  20.  
  21. ((0 1)
  22.  (0 1)
  23.  (0 1 2 3 4 5 6 7 8 9)
  24.  (0 1 2 3 4 5 6 7 8 9)
  25.  (0 1 2 3 4 5 6 7 8 9)
  26.  (0 1 2 3 4 5 6 7 8 9))
  27.  
  28. {PROBLEME: LA+FA=SOL tous différents, pas de non significatifs}
  29.  
  30.