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

Jeroen Spaans, Jesse Heyninck

Constraint Logic Programming (CLP) is a logic programming formalism used to solve problems requiring the consideration of constraints, like resource allocation and automated planni…