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