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

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

Номер 1

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

Ответ:

(1) имя, число или переменная

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

(3) только скалярное данное (имя, число, строка символов)

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

Номер 2

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

Ответ:

(1) конкатенация списков

(2) числовая переменная

(3) список переменных

(4) пустой список

(5) функция

Номер 3

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

Ответ:

(1) имя переменной

(2) массив строк символов

(3) конкатенация двух пустых списков

(4) список составных термов

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

Номер 1

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

Ответ:

(1) объект Пролога

(2) имя функции со списком объектов

(3) объект Пролога или имя функции со списком аргументов, являющимися термами, в круглых скобках

(4) составной терм из имени функции и списка аргументов в круглых скобках

Номер 2

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

Ответ:

(1) объект Пролога

(2) имя функции со списком объектов

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

(4) атом

(5) список атомов

(6) конкатенация составных термов

Номер 3

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

Ответ:

(1) конкатенация составных термов

(2) составной терм из имени функции и другой функции в круглых скобках

(3) запрос

(4) факт

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

Номер 1

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

Ответ:

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

(2) атом, справа от которого стрелка влево

(3) тождественно истинный предикат относительно объектов программы

(4) предикат без переменных

Номер 2

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

Ответ:

(1) атомарный предикат без переменных

(2) атомарный предикат, справа от которого стоит стрелка влево

(3) множество атомарных предикатов

(4) атомарный предикат, слева от которого стоит стрелка вправо

Номер 3

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

Ответ:

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

(2) атомарный предикат, справа от которого стоит стрелка влево

(3) тождественно истинный предикат относительно объектов программы

(4) атомарный предикат без переменных

(5) правило с пустой правой частью

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

Номер 1

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

Ответ:

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

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

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

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

Номер 2

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

Ответ:

(1) факт это правило с пустой правой частью

(2) заголовок представляет собой левую часть правила

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

(4) база знаний включает правила

Номер 3

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

Ответ:

(1) стрелка, разделяющая заголовок и тело правила, идет влево от заголовка к телу

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

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

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

(5) только факты образуют базу знаний

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

Номер 1

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

Ответ:

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

(2) конъюнкция предикатов

(3) один атом или конъюнкция атомов со стрелкой влево, расположенной слева

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

Номер 2

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

Ответ:

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

(2) конъюнкция предикатов

(3) один атом или конъюнкция атомов со стрелкой влево, расположенной слева

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

(5) правило с пустым телом

Номер 3

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

Ответ:

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

(2) запрос может быть разделен на несколько запросов

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

(4) истинность конъюнкции предикатов запроса следует из истинности фактов и правил

(5) обозначение переменных запроса несущественно и не зависит от обозначения переменных фактов и правил

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

Номер 1

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

Ответ:

(1) только "Да" или "Нет"

(2) только интерпретация значений переменных запроса, если они есть

(3) "Нет" или интерпретация значений переменных запроса, если они есть

(4) только "Да" или интерпретация значений пременных

Номер 2

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

Ответ:

(1) запрос без переменных может иметь ответом либо "Да" либо "Нет"

(2) запрос с переменными не может иметь ответом "Нет"

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

Номер 3

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

Ответ:

(1) запрос с переменными не может иметь ответом "Да"

(2) может быть несколько ответов на запрос

(3) среди ответов на запрос могут быть ответы "Да" и "Нет"

(4) среди ответов на запрос могут быть разные интерпретации переменных

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