ion- space is greedy and local. This is in also accordance with the general notion of learning corresponding to compression. EFTA00624342 196 30 Procedure Learning as Program Learning 30.3 Specification Based Procedure Learning Now we explain how procedure learning fits in with the declarative and intentional knowledge represent