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

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

Логическая программа завершается успехом в случае, если:

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

Метод отсечения и отката:

Метод повтора, определяемый пользователем:

Принадлежит ли число 2 списку [[1,2,3],[4,5]]?