Experiments with binding schemes in LOGFLOW.

The handling of variables is a crucial issue in designing a parallel Prolog system. In the framework of the LOGFLOW project some experiments were made with binding methods. The work is an analysis of possible schemes, a modification of an existing one and a plan for future implementations of LOGFLOW on new architectures. The conditions, principles and results are presented in this paper. [ABSTRACT FROM AUTHOR]