Experiments with Binding Schemes in LOGFLOW

Z. Nemeth and P. Kacsuk

Abstract
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. In this paper the so called closed binding method is analysed, a possible modification is intorduced and the implementation and performance measurements of the hybrid binding scheme in LOGFLOW is described
Contact
Zsolt Nemeth
MTA Szamitastechnikai es Automatizalasi Kutato Intezet,1132 Budapest, Victor Hugo u. 18-22.,
zsnemeth@sztaki.hu