We have already mentioned in a preceding section some types of information that can be useful to collect at compile time, and the way in which such information can be applied to improve sequential execution of logic programming languages. In this section we will concentrate on the possibilities of compile-time analysis (and more specifically abstract interpretation) for helping parallel execution of logic programming.