Modeling OR-Parallel Execution of Prolog using CHOCS