DLP

Distributed Logic Programming.