A Multicomputer Building Block for Prolog Architectures