George H. Pollard

• Parallel execution of horn clause programs