Pipeline Optimizations in AND-Parallel Logic Programs