home *** CD-ROM | disk | FTP | other *** search
Text File | 1990-02-19 | 302 b | 20 lines | [TEXT/Help] |
- UN+UNE=DEUX
-
- (n e x r0 u r1 d)
-
- ((=? (+ n e) (+ x (* 10 r0)))
- (=? (+ r0 u n) (+ u (* 10 r1)))
- (=? (+ r1 u) (+ e (* 10 d)))
- (<>? n e) (<>? n x) (<>? n u)
- (<>? n d) (<>? e x) (<>? e u)
- (<>? e d) (<>? x u) (<>? x d)
- (<>? u d))
-
- ((0 1 2 3)
- (0 1 2 3)
- (0 1 2 3)
- (0 1)
- (0 1 2 3)
- (0 1)
- (0 1 2 3))
-