Parallel Execution of Logic Programs based on Dataflow Concept