Parallel Execution of Logic Programs (The Springer International Series in Engineering and Computer Science)