On optimization of monadic logic programs

Данная статья посвящена вопросам оптимизации монадических логических программ и запросов. Мы называем программу (запрос) монадической (монадическим), если она (он) не использует функциональных символов местности $\ >1$ и использует лишь $1$-местные предикатные символы. В работе описываются трансформации программы и запроса, при которых любая монадическая программа $P$ и запрос $G$, не содержащий переменных, преобразовываются в иные программу $P^{\prime}$ и запрос $G^{\prime}$ , так что программа $P^{\prime}$ является завершаемой по отношению к запросу $G^{\prime}$, а также $P\models G$ тогда и только тогда, когда $P^{\prime}\models G^{\prime}$. Следует заметить, что программа $P^{\prime}$, полученная трансформацией, одинакова для всех запросов.