OR-Parallel Prolog and Search Problems in AI Applications