Об интерпретаторе простого монадического ПРОЛОГа

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