Языки логического программирования

Чем определяется применимость НАМ к входным данным?

(Отметьте один правильный вариант ответа.)

Варианты ответа

изменения строки данных начинают повторяться

через конечное число замен строка данных возвращается к исходной строке

через конечное непустое число замен нет ни одной подходящей подстановки

через конечное число замен строка данных становится пустой

в процессе выполнения НАМ ни одна из подстановок не подходит(Верный ответ)

ни одна из подстановок не подходит

ни одна из последующих подстановок после последней примененной уже не подходит

строка данных перестает изменяться

Похожие вопросы

В каком случае НАМ не применим к входным данным?

В каком случае НАМ применим к входным данным?

Что возвратит следующее применение функции к данным: ÷ :< <3,-2>,-1> ?

Что возвратит следующее применение функции к данным: t2:< <2,-1,0>,<-1,0,2> > ?

Что возвратит следующее применение функции к данным: +:< <2,-1>,-1> ?

Что возвратит следующее применение функции к данным: gt:< <2,-1>,<-1,0> > ?

Что возвратит следующее применение функции к данным: x :< <2,-1>,-1> ?

Что возвратит следующее применение функции к данным: 3:< <2,-1,0>,<-1,0,2> > ?

Что возвратит следующее применение функции к данным: appendr:< <2,-1,0>,<-1,0,2> > ?

Что возвратит следующее применение функции к данным: distr:< <2,-1,0>,<-1,0,2> > ?