[logic-ml] Distributed relation algebra