В исследовании рассмотрен формализованный подход к решению некоторого класса логических задач, позволяющих унифицировать используемые в решении процедуры предложений и сократить текстовый код программы за счет применения рекурсий в доказательстве предикатов. При таком построении предикатов появляется возможность повторного использования части программного кода для однотипных логических задач. Построенные в ходе исследования унифицированные процедуры предложений могут быть оформлены в виде отдельного библиотечного модуля.

Ключевые слова: логические задачи, формализация процесса решения, класс однотипных задач, списки данных, процедура предложений, заголовок и тело предиката.