Add more simplifications for dataset isomorphism

Julien LepillerFri Apr 10 00:34:11+0200 2020

ec1e493

Add more simplifications for dataset isomorphism

rdf/rdf.scm

476476 
       ('bot 'bot)
477477 
       ('none (simplify-constraints e2 equivalences))
478478 
       (('equiv a b)
479-
        (list 'and (list 'equiv a b) (simplify-constraints e2 (cons (cons a b) equivalences))))
479+
        (let ((e2 (simplify-constraints e2 (cons (cons a b) equivalences))))
480+
          (match e2
481+
            ('bot 'bot)
482+
            ('none (list 'equiv a b))
483+
            (e2 (list 'and (list 'equiv a b) (simplify-constraints e2 (cons (cons a b) equivalences)))))))
480484 
       (e1
481485 
         (match (simplify-constraints e2 equivalences)
482486 
           ('bot 'bot)