A Layered Architecture for Group-Oriented Parallel and Distributed Logic Programming