База ответов ИНТУИТ

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

Количество вопросов - 257

Что называется основной моделью программы?

Какие аксиомы используются при доказательстве эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?

Что может быть элементом описания спецификатора Рефала-2?

Определите значение выражения (while eq * (+2, 3), 1) :< < 1, 2 >; < -1, 4 > >.

Какие утверждения верны относительно директив рефалпредложений в Рефале-2?

Что является ошибкой в следующем рефал-предложении? EEvvEE=Ee 'EE' VV

Укажите верное утверждение для Рефала-5.

Какое утверждение для Рефала-2 является верным?

Как ведется рассмотрение формул процедуры для атома?

Определите значение выражения =+ :< < 1, 2 >; < 3; 4 > >.

Что не является видом памяти Рефала-2?

Определите значение выражения 2*3 в модели Бэкуса.

Что делает и что возвращает запрос ↔ read(x)?

Что такое по определению вариант выражения?

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

С чем не связан backtracking?

Что такое кортеж в модели Бэкуса?

Что является объектом Пролога?

Какое утверждение для Рефала-2 является неверным?

Что соответствует определению подстановки НАМ?

Что не является термом Пролога?

Определите значение выражения A+ :< < 1, 2 >; < 3; 4 > >.

Какое утверждение для Рефала-5 является верным?

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

Для каких данных следующие 2 формы не дадут одинакового результата: A(+*1) и A(1*+)?

Какое утверждение для Рефала-5 является верным?

Что происходит, если в результате вычислений получен пустой запрос?

Что происходит при отсутствии интерпретации переменных очередного атома запроса?

Какое из утверждений явяляется верным?

Какое утверждение верно относительно директив Рефала-2?

Что всегда является словом НАМ?

Что всегда является подстановкой НАМ?

Что не может быть НАМ?

Какое действие не может выполняться на шаге работы НАМ?

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

Что не может быть результатом работы НАМ?

Что может быть термом Рефала?

Что такое рефал-выражение?

Выражение (k/aa/ (k/"bb"/.).)

Из чего состоит описание рефал-функции по определению?

Что не является рефал-предложением?

Что не может быть спецификатором Рефала-2?

Что такое элемент описания спецификатора в определении Рефала-2?

Выражение (O)()D()

Какое утверждение неверно относительно директив Рефала-2?

Какая из директив не содержит идентификатора директивы?

Какие утверждения верны относительно входов программного модуля в Рефале-2?

Какое утверждение для функций ввода/вывода Рефала-2 является верным?

Какое утверждение для арифметических функций Рефала-2 является верным?

Какое утверждение для функций лексического анализа Рефала-2 является верным?

Вычисление выражения k/print/ k/ftochar/ k/chartof/ k/card/....

Вычисление выражения Рефала-2

k/pr/k/symb/k/dr/ (k/m1/k/m1/k/m1/...) k/p1/k/p1/.....

выведет

Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengr/ k/last/ /7/k/multe/ /3/(k/ftochar/ /A1/.) 'B2'.....

выведет

Что не является видом памяти Рефала-2?

Укажите верное утверждение для Рефала-2.

Какое утверждение для Рефала-2 является верным?

Какое утверждение для Рефала-2 является верным?

Какое утверждение для Рефала-2 является верным?

Что возвратит в поле зрения вычисление выражения

k/swr//x/ k/ptr//x/ k/wtr//x/ '5'...?

Укажите неверное утверждение для конструкции условия Рефала-5.

Какое утверждение для Рефала-5 не является чистым присваиванием?

Что называется образцовым окончанием Рефала-5?

Какое утверждение для Рефала-5 является верным?

Что называется результатным блоком Рефала-5?

Что не является объектом Пролога?

Что называется термом Пролога?

Что является фактом Пролога?

Какое утверждение относительно правил Пролога является неверным?

Какое утвверждени относительно запроса Пролога является верным?

Что является неверным в отношении ответа на запрос?

Что не является входом в процедуру Пролога?

Как ведется рассмотрение запроса?

В каком случае интерпретация переменных рассмотренных формул процедуры годится при рассмотрении следующей формулы?

В каком случае в результате шага вычислений запрос не изменяется?

Что происходит, если в результате вычислений не получен пустой запрос?

Что такое дерево заголовка процедуры?

Что не является атомом Пролога?

Какие атомы могут употребляться в запросе?

Как определяется подстановка Пролога?

Как определяется унификатор выражений?

Что называется ответом на запрос интерпретации?

Что представляет собой пространство вычислений программы?

Что не предотвращает зацикливания при вычислениях Пролога?

С чем не связано применение спецификаций?

К чему приводит выполнение запроса ↔ consult(X)?

Какие выражения не являются встроенными предикатами?

Где употребляется конструкция not и что она означает?

Как определяется атом модели Бэкуса?

Как определяется объект модели Бэкуса?

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

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

Определите значение выражения <1,2*3>.

Определите значение выражения (2 * 2 →​ 4, 5).

Какое из утверждений является неверным?

Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и (1*3,2*3)?

Для каких данных следующие 2 формы дадут одинаковый результат: A3*(1,2) и (3*1,3*2)?

Для каких данных следующие 2 формы дадут одинаковый результат: /3*(1,2) и 3*(1,2)?

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (2,1)*(3*1,4*2)?

Что такое матрица пар?

При помощи какой формы передаются данные последующей части алгоритма после транспонирования второй матрицы?

Сколько раз применяется форма конструкции в алгоритме простого перемножения матриц?

В чем основная идея оптимизации алгоритма перемножения матриц?

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

На сколько случаев разбивается доказательство эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?

Какое утверждение для Рефала-2 является верным?

Что не является кортежем в модели Бэкуса?

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (3*2,4*1)?

Что может быть подстановкой НАМ?

Сколько раз применяется форма общей аппликации в алгоритме простого перемножения матриц?

Что является рефал-предложением?

В чем состоит процесс отождествления деревьев атома запроса и заголовка процедуры?

Какое действие может выполняться на шаге работы НАМ?

Определите значение выражения (while 2 1) :< F, T, F >.

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

Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?

Для каких данных следующие 2 формы не дадут одинакового результата: /1*(1,1) и /(1,1)*1?

На какие 2 функции разбивается функция простого перемножения матриц?

В каком случае предикат nonvar(X) возвращает истинное значение?

Что является ошибкой в следующем рефал-предложении? WWWWWW=Ww 'WW' ' 'Sa

Что по определению является программой Пролога?

Каким образом изменяется запрос при вычислениях?

Что не может являться объектом модели Бэкуса?

Сколько раз применяется форма композиции в алгоритме простого перемножения матриц?

Определите значение выражения A+ :< < 1, 2 >; 3 >.

Определите значение выражения (1,2*3).

Какое утверждение для Рефала-2 является неверным?

Какое утверждение для функций лексического анализа Рефала-2 является верным?

Что не может быть термом Рефала?

Какое утверждение для Рефала-2 является неверным?

Какое утверждение для функций ввода/вывода Рефала-2 является верным?

Что не определяет стратегия вычислений Пролога?

Где употребляется точка с запятой и что она означает?

Что такое НАМ по определению?

Что точно соответствует одному из последовательных действий на шаге работы НАМ?

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

Что может быть рефал-выражением?

Выражение (k/aa/ (k/bb/..))

Что не может быть элементом описания спецификатора Рефала-2?

Выражение ((S)N)S

Вычисление выражения k/functab/ k/chartof/ k/ftochar/ /f2008/...

Вычисление выражения Рефала-2

k/pr/k/symb/k/mul/(k/sub/ () k/p1/k/p1/...) k/p1/k/p1/.....

выведет

Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengw/ k/first/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'.....

выведет

Что возвратит в поле зрения вычисление выражения

k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?

Укажите неверное утверждение для Рефала-5.

Какое утверждение для Рефала-5 является условным присваиванием?

Какое утверждение для Рефала-5 является неверным?

Какое утверждение для Рефала-5 является неверным?

Что называется объектом Пролога?

Что является термом Пролога?

Что называется фактом Пролога?

Какое утверждение относительно правила Пролога является верным?

Что называется запросом Пролога?

Что является верным в отношении ответа на запрос?

В каком случае не существует НОУ выражений?

Что называется интерпретацией программы?

Что называется правильным ответом?

Как графически представляется пространство вычислений программы?

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

Какие выражения не являются встроенными предикатами?

Что является кортежем в модели Бэкуса?

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

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

Определите значение выражения <2>*<3>.

Определите значение выражения ((2 * 2 →​ 4, 5) →​ 5; 7).

Определите значение выражения A+ :< < 1, 2 > >.

Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и 3*(1,2)?

Для каких данных следующие 2 формы дадут одинаковый результат: /(1,2)*3 и (/1*3,/2*3)?

Для каких данных следующие 2 формы не дадут одинакового результата: (1*1,1*1)*(1,1) и (1,1)*(1*1,1*1)?

Для каких данных следующие 2 формы дадут одинаковый результат: A3*A4 и A4*A3?

На какие 2 части разбивается алгоритм подготовки матрицы пар?

Что является целью оптимизации в алгоритме перемножения матриц?

Что может быть ответом на запрос Пролога?

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

Укажите неверное утверждение для Рефала-2.

Какое утверждение для Рефала-5 является чистым условием?

Что не всегда является словом НАМ?

На какие 2 части разбивается расписывание каждой строки первой матрицы с каждой строкой второй транспонированной матрицы?

Определите значение выражения (while 2 1) :< < T, F >; T, F >.

Что такое терм в определении Рефала?

Какие утверждения не верны относительно внешних имен программного модуля в Рефале-2?

Сколько форм общей аппликации используется в произведении строки первой матрицы на вторую?

Что может быть НАМ?

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

В каком случае предикат var(X) возвращает истинное значение?

Что является видом памяти Рефала-2?

Как определяется наиболее общий унификатор выражений?

Определите значение выражения (2 * 2 →​ 4, 5).

Что по определению является запросом Пролога?

Что такое слово в определении НАМ?

В каком случае результат работы НАМ не совпадает с входной строкой?

Что не может быть рефал-выражением?

Выражение '(k/aa/ (k/"bb"/..)'

Что не может входить в описание рефал-функции?

Что не является рефал-предложением?

Что является ошибкой в следующем рефал-предложении? WWSASB=Ww. 'SB' ' 'Sa

Что может быть спецификатором Рефала-2?

Какое утверждение для арифметических функций Рефала-2 является неверным?

Вычисление выражения k/print/ k/functab/ k/chartof/ k/card/....

Вычисление выражения Рефала-2

k/pr/ k/last/ /5/k/multe/ /5/k/ftochar/ /add/....

выведет

Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengr/ k/last/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'.....

выведет

Укажите верное утверждение для Рефала-5.

Укажите верное утверждение для конструкции условия Рефала-5.

Что называется результатным окончанием Рефала-5?

Какое утверждение относительно запроса Пролога является неверным?

Что определяет вход в процедуру Пролога?

Что является атомом Пролога?

Что называется моделью программы?

Как связаны ответ и правильный ответ?

Как определяется отношение выводимости запросов Q1 и Q2?

Что такое правило отсечения в Прологе?

Что может не являться атомом модели Бэкуса?

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

Определите значение выражения 1,2*3.

Для каких данных следующие 2 формы не дадут одинакового результата: A1*(1,1) и A(1,1)*1?

Как образуется скалярное произведение пар?

Укажите верное утверждение для Рефала-2.

Что остается неизменным при оптимизации алгоритма перемножения матриц?

Какие выражения не являются встроенными предикатами?

Какое утверждение для Рефала-5 является неверным?

Что такое стратегия вычислений в Прологе?

Что такое спецификатор в определении Рефала-2?

Что такое по определению частный случай выражения?

Какое утверждение для функций ввода/вывода Рефала-2 является неверным?

Выражение (RO)S

Какая из директив Рефала-2 содержит только ключевое слово?

Что возвратит в поле зрения вычисление выражения

k/swr//x/ k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?

Что является входом в процедуру Пролога?

В каком случае интерпретация переменных рассмотренных атомов запроса не годится при рассмотрении следующего атома?

Что может являться объектом модели Бэкуса?

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

Для каких данных следующие 2 формы дадут одинаковый результат: A(1,2)*3 и (A3*1,A3*2)?

Для каких данных следующие 2 формы дадут одинаковый результат: A(1*2) и A1*A2?

Какое утверждение верно относительно директив Рефала-2?

Что может входить в описание рефал-функции?

В каком случае интерпретация переменных рассмотренных формул процедуры не годится при рассмотрении следующей формулы?

При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?

Какая из директив не должна содержать информацию директивы?

Какое утверждение для Рефала-2 является верным?

Что не является фактом Пролога?

Что такое дерево атома запроса?

Укажите формальное определение атома Пролога?

Что может являться атомом модели Бэкуса?

Для каких данных следующие 2 формы не дадут одинакового результата: 1*(1,1) и (1,1)*1?

Что называется правилом Пролога?

В каком случае результат работы НАМ совпадает с входной строкой?

Укажите верное утверждение для конструкции условия Рефала-5.

В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?

Определите значение выражения =+ :< < 1, 2 > >.

Сколько форм композиции используется в произведении строки первой матрицы на вторую?

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

Какое утверждение для арифметических функций Рефала-2 является верным?

Какое утверждение для функций лексического анализа Рефала-2 является неверным?

Определите значение выражения <2*3>.

Какое из утверждений является верным?

В каких случаях ответом является "Да" или "Нет"?

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