AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis