Algebraic computational models of OR-parallel execution of Prolog