Tom Khabaza
This thesis describes research into the AND/OR parallel execution of Horn clause programs. The ultimate goal is to produce an AND/OR parallel logic programming language (referred to as "AND/OR Prolog").
This paper is not available online
