Cut implementation in a massively parallel Prolog system

An OR-parallel scheme for handling 'cut' built-in predicates in a distributed data driven Prolog environment is shown in the paper. First, a short overview of the Distributed Data Driven Prolog Abstract Machine (3DPAM) is given. 3DPAM can be considered as a data driven modification of the Warren Abstract Machine (WAM) for highly parallel distributed memory computers. The main contribution of the paper is the definition of 3DPAM code for OR-alternative clauses containing 'cut' built-in predicates. The 'cut' pruning mechanism based on the model is explained in detail.<>