An investigation of an OR parallel execution model for horn clause programs