This paper discusses the problem of how to use analogy in automatic formation algorithms of reacting-block.The authors also give a new solution sequence separating method. These ideas and methods have been implemented in ISLS(integration solving and learning system).