For instance, the two programs above are not reasonable as Prolog programs — SLDNF resolution does not terminate on them.
Наприклад, наведені вище дві програми як Прологові програми є нерозумними — ВЛВЗВ-резолюція на них не добігає кінця.