Analysis and Improvement of the Variable Binding Scheme in LOGFLOW

. The handling of variables is a crucial issue in designing a parallel Prolog system. There are various binding methods for different architectures or for different types of parallelism. They intend to solve a particular problem in a given implementation and for a certain architecture but there are no general solutions. In this paper the so called closed binding method is analysed and a possible modification is introduced which tries to amalgamate some aspects of several binding schemes. The implementation and performance measurement of the resulted hybrid binding scheme in LOGFLOW is presented 1 Introduction Logical programming languages offer a high degree of inherent parallelism. By their nature the kind of exploited parallelism can be categorized as OR-parallelism, when several alternative clauses of a predicate are processed together, and ANDparallelism, when several goals of the resolvent are processed simultaneously. The most common approach in OR-parallel implementations is as..