Constraint Programming on Infinite Data Streams