Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
14 lines (13 sloc) 719 Bytes
(define (lier)
(let ((betty (amb 1 2 3 4 5))
(ethel (amb 1 2 3 4 5))
(joan (amb 1 2 3 4 5))
(ketty (amb 1 2 3 4 5))
(mary (amb 1 2 3 4 5)))
(require (or (and (= ketty 2) (not (= betty 3))) (and (not (= ketty 2)) (= betty 3))))
(require (or (and (= ethel 1) (not (= joan 2))) (and (not (= ethel 1)) (= joan 2))))
(require (or (and (= joan 3) (not (= ethel 5))) (and (not (= joan 3)) (= ethel 5))))
(require (or (and (= ketty 2) (not (= mary 4))) (and (not (= ketty 2)) (= mary 4))))
(require (or (and (= mary 4) (not (= betty 1))) (and (not (= mary 4)) (= betty 1))))
(require (distinct? (list betty ethel joan ketty mary)))
(list betty ethel joan ketty mary)))