Fix graph constraints for isomorphism detection

Julien LepillerWed Apr 08 16:18:25+0200 2020

ff33126

Fix graph constraints for isomorphism detection

rdf/rdf.scm

457457
                                   (filter (lambda (g2) (blank-node? (car g2))) ng2))
458458
                             (let ((g2 (assoc-ref ng2 n1)))
459459
                               (if g2
460-
                                   (list 'and (generate-graph-constraints g1 g2)
460+
                                   (list 'or (generate-graph-constraints g1 g2)
461461
                                         constraints)
462462
                                   'bot))))))
463463
                    'bot ng1)))))