(define (clause-set-map set clause-lit)
  (if (eq? (res-clause-neg clause-lit) '())
      (if (eq? set null) ;;pierwszy przypadek – gdy pojedynczy literał jest pozytywny
          null
          (append
           (list 'res-clause
                 (filter (lambda(x)
                           (eq? x (car (res-clause-pos clause-lit))))
                         (res-clause-pos (car set)))
                 (res-clause-neg (car set))
                 (res-clause-proof (car set)))
           (clause-set-map (cdr set) clause-lit)))

      (if (eq? set null) ;;gdy pojedynczy literał jest negatywny
          null
          (append
           (list 'res-clause
                 (res-clause-pos (car set))
                 (filter (lambda(x)
                           (eq? x (car (res-clause-neg clause-lit))))
                         (res-clause-neg (car set)))
                 (res-clause-proof (car set)))
           (clause-set-map (cdr set) clause-lit)))))