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

Упражнение 1:

Номер 1

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

Ответ:

(1) правая часть правила

(2) атомарный предикат запроса

(3) формула Пролога

(4) заголовок правила, являющийся его левой частью

Номер 2

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

Ответ:

(1) один из атомов запроса

(2) заголовок каждого правила, образующих процедуру

(3) объединение правых частей правил процедуры

(4) объединение правых частей формул процедуры

Номер 3

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

Ответ:

(1) общий заголовок формул, образующих процедуру Пролога

(2) левая часть факта или правила процедуры Пролога

(3) объединение атомов запроса

(4) левая часть каждой формулы процедуры Пролога

Упражнение 2:

Номер 1

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

Ответ:

(1) атомы рассматриваются в любом порядке

(2) переменные в разных атомах не зависят друг от друга

(3) атомы рассматриваются по очереди, заранее определенной, и переменные, имеющие в разных атомах одинаковое обозначение, должны получить одинаковую интерпретацию

(4) атомы рассматриваются по очереди, и если интерпретация одинаковых переменных разных атомов, противоречит друг другу, то берется интерпретация переменных последнего рассматриваемого атома

Номер 2

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

Ответ:

(1) существует какая-либо интерпретация переменных рассматриваемого атома запроса

(2) для каждой переменной рассматриваемого атома существует интерпретация всех переменных этого атома, которая по значению данной переменной совпадает со значением этой переменной в интерпретации переменных уже рассмотренных атомов

(3) всегда годится

(4) существует интерпретация переменных данного атома, которая по всем леременным уже рассмотренных атомов совпадает по всем общим переменным

Номер 3

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

Ответ:

(1) если в интерпретации переменных уже рассмотренных атомов есть переменная, отличная от переменных рассматриваемого атома

(2) если для переменных уже рассмотренных атомов есть более одной интерпретации

(3) если есть более одной интерпретации рассматриваемого атома, которая по общим переменным с уже рассмотренными атомами совпадает с их интерпретацией

(4) если нет ни одной интерпретации рассматриваемого атома, совпадающей по какой-либо общей переменной с интерпретацией переменных уже рассмотренных атомов

Упражнение 3:

Номер 1

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

Ответ:

(1) рассматривается одна из формул процедуры, которая имеет интерпретацию переменных для данного атома

(2) рассматриваются по очереди формулы процедуры, последующие за последней уже рассмотренной формулой процедуры для предыдущих атомов

(3) рассмотрение формул процедуры атома идет по очереди каждый раз с начала в одном и том же порядке независимо от уже рассмотренных атомов запроса

(4) если формула уже использована для интерпретации переменных какого-либо атома, то она более не рассматривается для следующих атомов

Номер 2

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

Ответ:

(1) существует ровно одна интерпретация переменных этой формулы

(2) интепретация предыдущих формул процедуры не влияет на интерпретацию этой формулы

(3) переменные предыдущих формул процедуры совпадают с переменными этой формулы

(4) всегда годится

Номер 3

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

Ответ:

(1) не годится, если нет общих переменных

(2) существует ровно одна интерпретация переменных этой формулы

(3) интепретация переменных предыдущих формул процедуры не влияет на интерпретацию переменных этой формулы

(4) переменные предыдущих формул процедуры не совпадают с переменными этой формулы

Упражнение 4:

Номер 1

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

Ответ:

(1) после интерпретации переменных какого-либо атома запроса значения переменных подставляются в этот атом

(2) после интерпретации переменных всех атомов запроса значения переменных подставляются в запрос

(3) после очередной интерпретации переменных заголовка формулы какоголибо атома запроса полученная интерпретация переменных подставляется в тело процедуры, и полученные в результате этого атомы (может пустое выражение) заменяют прежний атомы, составляя новый запрос

(4) после интерпретации переменных всех атомов запроса каждый атом заменяется на тело процедуры с найденной интерпретацией переменных

Номер 2

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

Ответ:

(1) интерпретация переменных очередного атома запроса не изменяет эти переменные

(2) отсутствует интерпретация переменных очередного атома запроса

(3) получен пустой запрос

Номер 3

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

Ответ:

(1) делается попытка найти итерпретацию переменных следующего атома запроса

(2) неудачный атом запроса отбрасывается

(3) происходит переход к предыдущей точке выбора формулы для процедуры предыдущего атома запроса

Упражнение 5:

Номер 1

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

Ответ:

(1) если нет интерпретации для очередной формулы очередной процедуры, то происходит переход к выбору следующей формулы

(2) при отсутствии следующей формулы вычисления запроса заканчиваются неуспешно

(3) при отсутствии следующей фомулы происходит переход к выбору следующей формулы для первого атома запроса

(4) при отсутствии предыдущего атома запроса вычисления запроса заканчиваются неуспешно

Номер 2

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

Ответ:

(1) результатом вычисления является полученная интерпретация переменных запроса, и вычисления на этом заканчиваются

(2) находится один из ответов в результате полученной интерпретации переменных запроса и происходит продолжение вычислений с выбора следующей формулы в предыдущей точке выбора формулы

(3) если предыдущей точки выбора следующей формулы уже нет, то вычисления закончены и последний ответ конструируется из значений переменных запроса, полученных в результате последней интерпретации переменных

Номер 3

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

Ответ:

(1) вычисления заканчиваются с ответом "Нет"

(2) вычисления должны быть продолжены со следующей формулы в предыдущей точке выбора формулы, если она есть

(3) если предыдущей точки выбора следующей формулы уже нет, то вычисления закончены и последний ответ конструируется из начений переменных запроса, полученных в результате последней интерпретации переменных

Упражнение 6:

Номер 1

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

Ответ:

(1) корневое дерево вложенности предикатов в данный атом

(2) дерево вычисления для этого атома

(3) корневое дерево с упорядоченными на каждом уровне узлами, отражающее структуру всех данных этого атомарного предиката

(4) корневое дерево связей с другими атомами запроса

Номер 2

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

Ответ:

(1) дерево заголовков всех формул процедуры

(2) корневое дерево вложенности заголовков процедуры

(3) корневое дерево вычисления процедуры

(4) корневое дерево с упорядоченными на каждом уровне узлами, отражающее структуру всех данных заголовка процедуры

Номер 3

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

Ответ:

(1) оба дерева должны быть изоморфны как 2 графа

(2) корневые деревья должны быть изоморфны и идет сопоставление висячих вершин в одном и том же порядке

(3) висячие вершины сопоставляются слева направо

(4) висячие вершины сопоставляются справа налево

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