text: В языке пролог исходное множество формул , для которого ищется пустая резольвента, представляется в виде так называемых «дизъюнктов Хорна»: Программа на Прологе описывает отношения, определяемые с помощью предложений.