Compositionality properties of SLD-derivations