Composition of ConGolog Programs