P-Prolog: A Parallel Logic Programming Language (World Scientific Series in Computer Science)