OR-Parallel Execution of Prolog on BC-Machine.