Constraints for Probabilistic Logic Programming