Fix sat

Julien LepillerThu Apr 09 19:11:53+0200 2020

cc89287

Fix sat

rdf/rdf.scm

321321 
         #f))))
322322 
323323 
(define (filter-sat equivalences)
324-
  (filter
325-
    (lambda (eq)
326-
      (if (member eq '(bot none))
327-
          eq
328-
          (if (sat? eq)
324+
  (if (list? equivalences)
325+
      (filter
326+
        (lambda (eq)
327+
          (if (member eq '(bot none))
329328 
              eq
330-
              'bot)))
331-
    equivalences))
329+
              (if (sat? eq)
330+
                  eq
331+
                  'bot)))
332+
        equivalences)
333+
      equivalences))
332334 
333335 
(define (merge-joins l1 l2)
334336 
  (cond