Compressed Constraints in Probabilistic Logic and Their Revision