В каком случае результат работы НАМ совпадает с входной строкой?
В каком случае не существует НОУ выражений?
В каком случае НАМ не применим к входным данным?
В каком случае НАМ применим к входным данным?
В каком случае в результате шага вычислений запрос не изменяется?
В каком случае интерпретация переменных рассмотренных формул процедуры не годится при рассмотрении следующей формулы?
В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?
В каком случае интерпретация переменных рассмотренных атомов запроса не годится при рассмотрении следующего атома?
В каком случае интерпретация переменных рассмотренных формул процедуры годится при рассмотрении следующей формулы?
В каком случае предикат var(X) возвращает истинное значение?
