OR parallel execution of horn clause programs based on WAM and shared control information