DLP -- A language for Distributed Logic Programming