DLP
Distributed Logic Programming