A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)