Abstract
The aim of this paper is to introduce and investigate an algorithm RSRL for finding first--order logic rules. Rough set methodology is used in the process of selecting literals which may be a part of a rule. The criterion of selecting a literal is as follows: only such a literal is selected, which added to the rule makes the rule discerning the most examples which were indiscernible so far.