A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory Systems