Distributed Logic