A Performance-Oriented Design for OR-Parallel Logic Programming