Title: Parallel execution of horn clause programs