home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont-simples next >
Encoding:
Text File  |  1990-02-19  |  302 b   |  20 lines  |  [TEXT/Help]

  1. UN+UNE=DEUX
  2.  
  3. (n e x r0 u r1 d)
  4.  
  5. ((=? (+ n e) (+ x (* 10 r0)))
  6.  (=? (+ r0 u n) (+ u (* 10 r1)))
  7.  (=? (+ r1 u) (+ e (* 10 d)))
  8.  (<>? n e) (<>? n x) (<>? n u)
  9.  (<>? n d) (<>? e x) (<>? e u)
  10.  (<>? e d) (<>? x u) (<>? x d)
  11.  (<>? u d)) 
  12.  
  13. ((0 1 2 3)
  14.  (0 1 2 3)
  15.  (0 1 2 3)
  16.  (0 1)
  17.  (0 1 2 3)
  18.  (0 1)
  19.  (0 1 2 3))
  20.