Stream-Based Execution of Logic Programming