Логическое программирование

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

Номер 1

Императивное программирование - это парадигма программирования, ...

Ответ:

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

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

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

Номер 2

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

Ответ:

(1) логическое программирование

(2) императивное программирование

(3) функциональное программирование

Номер 3

Императивные языки программирования оперируют:

Ответ:

(1) данными

(2) состоянием памяти

(3) пространством поиска решений

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

Номер 1

Язык функционального программирования является:

Ответ:

(1) декларативным

(2) императивным

(3) императивным и декларативным

Номер 2

Декларативными языками программирования называются:

Ответ:

(1) императивные языки

(2) функциональные языки

(3) логические языки

Номер 3

Программа является декларативной, если она:

Ответ:

(1) описывает как получить результат

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

(3) является императивной

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

Номер 1

Функциональное программирование - это парадигма программирования, ...

Ответ:

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

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

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

Номер 2

Парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних, называется:

Ответ:

(1) императивное программирование

(2) функциональное программирование

(3) логическое программирование

Номер 3

Функциональные языки программирования оперируют:

Ответ:

(1) данными

(2) состоянием памяти

(3) пространством поиска решений

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

Номер 1

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

Ответ:

(1) декларативным

(2) императивным

(3) императивным и декларативным

Номер 2

Императивными языками программирования не являются:

Ответ:

(1) только логические языки

(2) только функциональные языки

(3) функциональные и логические языки

Номер 3

Программа является императивной, если она:

Ответ:

(1) описывает как получить результат

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

(3) является декларативной

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

Номер 1

Логическое программирование - это парадигма программирования ...

Ответ:

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

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

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

Номер 2

Парадигма программирования, основанная на автоматическом доказательстве теорем, называется:

Ответ:

(1) функциональное программирование

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

(3) императивное программирование

Номер 3

Логические языки программирования оперируют:

Ответ:

(1) данными

(2) состоянием памяти

(3) пространством поиска решений

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

Номер 1

Укажите, какая из представленных ниже записей на языке Prolog будет являться правилом:

Ответ:

(1) studied(vasya,literature)

(2) studied_technical(X) :- studied(X,mathematics)

(3) studied(petya,mathematics)

Номер 2

Определите, чем является указанное ниже предложение на языке Prolog:
        studied(petya,english)

Ответ:

(1) внешняя цель

(2) факт

(3) правило

Номер 3

Определите, чем является указанное ниже предложение на языке Prolog:
        studied(vasya,german) :- true

Ответ:

(1) внешняя цель

(2) факт

(3) правило

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

Номер 1

Язык программирования С++ является:

Ответ:

(1) императивным

(2) функциональным

(3) логическим

Номер 2

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

Ответ:

(1) pascal

(2) lisp

(3) qlisp

Номер 3

Укажите императивные языки программирования:

Ответ:

(1) c++

(2) qlisp

(3) f#

(4) lisp

(5) prolog

(6) pascal

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

Номер 1

Укажите особенность императивных языков программирования:

Ответ:

(1) применение функции к аргументам изменяет данные

(2) программа задаёт множество возможных переходов в пространстве поиска

(3) выполнение операторов изменяет состояние памяти

Номер 2

Укажите особенность функциональных языков программирования:

Ответ:

(1) выполнение операторов изменяет состояние памяти

(2) применение функции к аргументам изменяет данные

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

Номер 3

Укажите особенность логических языков программирования:

Ответ:

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

(2) применение функции к аргументам изменяет данные

(3) выполнение операторов изменяет состояние памяти

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

Номер 1

Язык программирования F# является:

Ответ:

(1) императивным

(2) функциональным

(3) логическим

Номер 2

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

Ответ:

(1) pascal

(2) lisp

(3) qlisp

Номер 3

Укажите функциональные языки программирования:

Ответ:

(1) c++

(2) qlisp

(3) f#

(4) lisp

(5) prolog

(6) pascal

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

Номер 1

Укажите, какая из представленных ниже записей на языке Prolog, будет являться фактом:

Ответ:

(1) speciality(X,programmer) :- studied(X,mathematics),studied(X,compscience)

(2) studied_technical(X) :- studied(X,mathematics)

(3) studied(petya,mathematics)

Номер 2

Определите, чем является указанное ниже предложение на языке Prolog:
        studied_languages(X) :- studied(X,english)

Ответ:

(1) внешняя цель

(2) факт

(3) правило

Номер 3

Определите, чем является указанное ниже предложение на языке Prolog:
        speciality(X,lit_translator) :- studied_languages(X),studied(X,literature)

Ответ:

(1) внешняя цель

(2) факт

(3) правило

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

Номер 1

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

Ответ:

(1) императивным

(2) функциональным

(3) логическим

Номер 2

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

Ответ:

(1) pascal

(2) lisp

(3) qlisp

Номер 3

Укажите логические языки программирования:

Ответ:

(1) c++

(2) qlisp

(3) f#

(4) lisp

(5) prolog

(6) pascal

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

Номер 1

Язык Prolog является:

Ответ:

(1) регистрозависимым

(2) регистронезависимым

Номер 2

Укажите особенности логических языков программирования:

Ответ:

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

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

(3) отсутствие операторов присваивания

Номер 3

Базы данных, снабженные средствами логического программирования для вывода дополнительных фактов:

Ответ:

(1) индуктивные базы данных

(2) дедуктивные базы данных

(3) реляционные базы данных

Логическое программирование - тест 2