A Method for Implementing Cut in Parallel Execution of Prolog.