Declarative Semantics of Input Consuming Logic Programs