A First Step Towards Stream Reasoning