The research considers formalized approach to decide logic problems of some class which allows us to unify offer procedures used in the decision and reduce a text code of the program owing to application of recursions in proving predicates. At such construction of predicates there is a possibility to reuse a part of a program code for the same logic problems. The unified offers procedures constructed during the research can be issued in the form of the separate library module.

Key words: logic problems, formalization of decision process, class of the same problems, lists of the data, offers procedure, predicates heading and body.