Обязательно ли должно быть предложение, реализующее шаг рекурсии, в рекурсивной процедуре?

Сколько базисов рекурсии должно быть в рекурсивной процедуре?

Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?

Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?

Нужно ли в теле правила, определяющего шаг рекурсии, указывать в качестве подцели определяемый предикат?

При рассмотрении декларативной модели программы порядок подцелей в предложении и предложений в процедуре:

При рассмотрении процедурной модели программы порядок подцелей в предложении и условиях предложений в процедуре:

Обязательно ли метод резолюций завершается за конечное число шагов?:

Вопрос - это предложение, которое состоит

Факт - это предложение, которое состоит

Правило - это предложение, которое состоит