Для понимания приведённого протокола необходимо пояснение служебных слов:
CALL - начало просмотра предложений с данным предикатом в разделе clauses;
REDO - продолжение просмотра;
RETURN - унификация с указанием конкретного значения унифицированной переменной. При этом, если возможны альтернативные решения, перед предикатом указывается маркер возврата "*";
FAIL - унификация не состоялась.
В диалоговом окне появляются ответы в моменты унификации. Одновременно с выдачей операторов в окне TRACE, курсор указывает, в окне EDITOR, место в программе, которое обрабатывается в данный момент.
Наряду с директивой trace также используется директива shorttrace, которая работает аналогично директиве trace, за исключением того, что в окно трассировки выводится меньше информации.
1. Назначение языка Турбо-Пролог?
2. Что включает система программирования Турбо-Пролог?
3. Что такое предикат?
4. Что такое факт?
5. Что такое правило?
6. Что такое цель?
7. Стандартные типы доменов?
8. Константы Турбо-Пролога?
9. Переменные Турбо-Пролога?
10. Структура программы на Турбо-Прологе?
11. Назначение раздела constants?
12. Назначение раздела domains?
13. Назначение раздела database?
14. Назначение раздела predicates?
15. Назначение раздела goal?
16. Назначение раздела clauses?
17. Что такое опции компилятора?
18. Простой и составной вопросы?
19. Что такое унификация?
20. Что такое маркер возврата?
21. Отладочные директивы Турбо-Пролога?
22. Что означает служебное слово CALL?
23. Что означает служебное слово REDO?
24. Что означает служебное слово RETURN?
25. Что означает служебное слово FAIL?
1.Янсон А. Турбо-Пролог в сжатом изложении. – М.: Мир, 1991. – 94с.
2. Ин Ц., Соломон Д. Использование Турбо-Пролога. – М.: Мир, 1993. – 608с.
3. Дарчиашвили В. В., Фролова Г.Я., Миронов А.С. Основы программирования на Турбо-Прологе. – М. : МГАПИ, 1996. –
68с.
4. Артамонов В.Н., Брякалов Г.А., Гофман В.Э. и др. Основы современных компьютерных технологий.: Учебное пособие. / Под ред. проф. Хомоненко А.Д. – Спб.: КОРОНАпринт, 1998. – 448с.
5. Рыжиков Ю.И. Информатика. Лекции и примеры. – Спб.:
КОРОНАпринт, 2000. – 256с.
Краткая характеристика основных опций (директив) компилятора:
1. Опция include позволяет включать в компилируемую программу другие присоединяемые к ней программные модули. Имена этих модулей должны задаваться с расширением .pro.
Формат опции:
include "<имя модуля>.pro"
2. Опция code позволяет изменять максимально возможный размер оперативной памяти, отводимый под размещение программы. По умолчанию code=1024. Здесь число задаёт количество т.н. параграфов, размер каждого из которых 16 байтов. Формат опции:
code=<целое число>
3. Опция nobreak подавляет опрос клавиатуры на поступление сигналов Ctrl-C или Ctrl-Break при выполнении предикатов программы.
4. Опция nowarning подавляет предупреждения о том, что переменная встречается только один раз, или что она не связанная (номера ошибок, выдаваемые компилятором: 420 или 3007).
5.Опция checkdeterm обеспечивает выдачу предупреждений в случае использования недетерминированных предикатов, которые в ходе возвратов (бэктрекинга) ведут к альтернативным решениям.
6. Опции trace и shorttrace используются при отладке программ.
Их применение подробно описано в п.4 пособия.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.