© Springer Nature Switzerland AG 2019.In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the size of knowledge basis based on the retraction problem. This implementation is made in a functional language, Scala, and specialized on attribute implications. We evaluate its efficiency related to the Stem Base generation.