Verification of Infinite-State Systems in Constraint Logic Programming