A Distributed Architecture for the PEPSys Parallel Logic Programming System