P-prolog: A Parallel Logic Programming Language