The University of Sussex

Towards AND/OR Parallel Logic Programming

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