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