A Proposal for Distributed Programming in Logic