A Distributed Implementation of Or-Parallel Interpretation of Logic Programs