Введение. Федеральное государственное автономное образовательное учреждение высшего профессионального образования
ПРАВИТЕЛЬСТВО РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное автономное образовательное учреждение
высшего профессионального образования
Национальный исследовательский университет
«Высшая школа экономики»
Московский институт электроники и математики
Национального исследовательского университета
«Высшая школа экономики»
Кафедра информационных технологий
И автоматизированных систем
РАЗРАБОТКА И ОТЛАДКА ПРОГРАММ
НА ЯЗЫКЕ ТУРБО-ПРОЛОГ
Учебно-методическое пособие
По проведению лабораторного практикума
по дисциплине «Языки программирования задач искусственного интеллекта»
Москва 2012
Составитель доц., канд.техн.наук А.С.Топоркова
УДК 681.3
Разработка и отладка программ на языке Турбо-Пролог Учебно-метод. пособие по проведению лабораторного практикума по дисциплине «Языки программирования задач искусственного интеллекта»/ Моск. институт электроники и математики Национального исследовательского университета «Высшая школа экономики»; Сост. А.С.Топоркова. М., 2012. 50с.
Ил.1
Библиогр.: 3 назв.
Пособие содержит теоретические положения, необходимые для выполнения лабораторных работ по курсу «Языки программирования задач искусственного интеллекта». Также в пособии приведены задания на лабораторные работы. Предназначено для студентов четвёртого курса группы К-72.
ISBN 978-5-94506-311-2
Содержание
| Введение | |||||
| 1. | Цели и задачи работы | ||||
| 2. | Общие сведения о системе Турбо-Пролога | ||||
| 2.1. | Основной экран системы Турбо-Пролог | ||||
| 2.2. | Отладка и трассировка программы | ||||
| 3. | Описание задачи на Турбо-Прологе | ||||
| 3.1. | Основные понятия Турбо-Пролога | ||||
| 3.2. | Факты | ||||
| 3.3. | Целевые запросы | ||||
| 3.4. | Правила | ||||
| 3.5. | Термы | ||||
| 4. | Общая схема выполнения программы на языке Турбо-Пролог | ||||
| 4.1. | Структура программы на языке Турбо-Пролог | ||||
| 4.2. | Раздел описания констант | ||||
| 4.3. | Раздел описания областей определения | ||||
| 4.4. | Раздел описания предикатов внутренней базы данных | ||||
| 4.5. | Раздел описания предикатов | ||||
| 4.6. | Раздел описания предложений | ||||
| 4.7. | Раздел описания целевого запроса | ||||
| 4.8. | Предикаты ввода-вывода | ||||
| 4.9. | Некоторые стандартные функции и предикаты | ||||
| 5. | Управление выполнением программы | ||||
| 5.1. | Понятие бектрекинг | ||||
| 5.2. | Выбор среди альтернатив | ||||
| 5.3. | Использование предиката fail | ||||
| 5.4. | Создание бесконечных альтернатив при помощи предиката repeat | ||||
| 5.5. | Предикат not | ||||
| 6. | Рекурсия | ||||
| 7. | Отсечение | ||||
| 8. | Списки | ||||
| 9. | Строки, символы и символические имена | ||||
| 10. | Структуры | ||||
| 11. | Файлы | ||||
| 12. | Базы данных | ||||
| Задачи для лабораторных работ по дисциплине ЯПЗИИ | |||||
| Библиографический список | |||||
Введение
Данные методические указания к лабораторным работам предназначены для студентов четвертого курса факультета информационных технологий и вычислительной техники.