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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

выведет

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

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

выведет

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В каком случае НАМ не применим к входным данным?
(Ответ считается верным, если отмечены все правильные варианты ответов.)

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

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

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

На какие 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> ?