Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-

Open in new window