Multiprocessor Execution Of Logic Programs by Gopal Gupta