Составители:
Рубрика:
34
У Максима – Мурлыка
4. У Лени – Елисей
У Димы – белый котенок
5. Дима не взял Фантика
Дружок – не серый
Одно из этих пяти утверждений ложное
У какого мальчика какой котенок?
Вопросы для самопроверки
1. В чем отличие процедурных языков программирования от декла-
ративных языков?
2. Что такое предикат и что такое местность предиката?
3. Когда является истинным одноместный предикат? Двуместный
предикат?
4. Что такое атомарный предикат?
5. Как формулируется правило резолюции?
6. Что обозначают разделы domains, predicates, goal и clauses ПРО-
ЛОГ-программы?
7. По каким правилам описываются переменные и константы в ПРОЛОГе?
8. Как обозначаются в ПРОЛОГ-программе основные логические
операции И, ИЛИ, НЕ?
9. Как записывается логическое правило с несколькими посылками?
10. Какими способами могут выполняться запросы к ПРОЛОГ-про-
грамме?
11. Для чего используются анонимные переменные в запросах?
12. С какой целью используется предикат fail?
13. С какой целью используется предикат cut (!)?
14. Какие правила называются рекурсивными?
15. Как описывается момент окончания рекурсивных вызовов?
16. Какой структуре можно поставить в соответствие список?
17. С помощью какой операции описывается рекурсивная обработка
списков в ПРОЛОГе?
18. Существует ли в ПРОЛОГе механизм для оперативного измене-
ния набора фактов, с которыми работает программа?
19. В чем отличие ПРОЛОГ-программы от базы данных?
20. Какая структура базы данных соответствует одному предикату?
21. В чем заключаются основные ограничения при использовании
ПРОЛОГа для описания объектов реального мира?
