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 |