Учебное пособие. — СПб.: СПбГЛТУ, 2013. — 138 с.
Представлено кафедрой информационных систем и технологий. В пособии
дана характеристика современного этапа развития языка Prolog и его
возможностей для разработки интеллектуальных систем. Приведены
общие сведения о конструкции языка и описан процесс разработки
программ на этом языке. Рассмотрены наиболее распространенные среды
программирования: PIE, TuboProlog, SWI-Prolog и Visual-Prolog.
Большое число примеров и заданий позволяет изучить основные методы
работы в каждой из этих сред, а также познакомиться с особенностями
их использования для реализации конкретных проектов.
Учебное пособие предназначено для бакалавров и магистров
направлений подготовки 230400 «Информационные системы и технологии»
и 230200 «Информационные системы». Оно будет полезно аспирантам,
преподавателям вуза и специалистам, применяющим методы
искусственного интеллекта в своей профессиональной деятельности.
История развития и современное состояние языка Prolog
Тенденции в истории развития языка Prolog
Области применения языка Prolog
Современные реализации языка Prolog Основы разработки Prolog-программ
Общие сведения о языке Prolog
Понятие факта, правила, запроса и процедуры
Механизм сопоставления и поиска с возвратом
Основные элементы языка Prolog Среда разработки программ PIE и система SWI-Prolog
Основы работы в консоли Prolog
Основы работы с программными файлами
Справка и помощь в среде SWI-Prolog
Основы трассировки и отладки в среде PIE и SWI-Prolog
Графические интерфейсы на базе SWI-Prolog/XPCE
Загрузка и запуск программ SWI-Prolog’а Среда разработки Turbo-Prolog
Структура программы на Turbo Prolog’е
Оболочка системы Turbo Prolog
Отладка и трассировка программ
Работа с простейшими программами в Turbo Prolog’е
Работа с графикой в Turbo Prolog’е Среда разработки Visual Prolog
Интегрированная среда разработки
Разработка консольного проекта
Разработка GUI проекта на Visual Prolog’е Prolog — язык логического программирования
Системы основанные на знаниях
Логические модели и логическое программирование
Простейшие конструкции языка предикатов
Предикатные формулы
Определение правильно построенной формулы
Логический вывод
Решение задач и извлечение ответа Приложения
Запуск Turbo-Prolog в ОС Windows 7
Служебные предикаты Турбо-Пролога
Пример программы построения дерева синтаксического анализа
Библиографический список
Тенденции в истории развития языка Prolog
Области применения языка Prolog
Современные реализации языка Prolog Основы разработки Prolog-программ
Общие сведения о языке Prolog
Понятие факта, правила, запроса и процедуры
Механизм сопоставления и поиска с возвратом
Основные элементы языка Prolog Среда разработки программ PIE и система SWI-Prolog
Основы работы в консоли Prolog
Основы работы с программными файлами
Справка и помощь в среде SWI-Prolog
Основы трассировки и отладки в среде PIE и SWI-Prolog
Графические интерфейсы на базе SWI-Prolog/XPCE
Загрузка и запуск программ SWI-Prolog’а Среда разработки Turbo-Prolog
Структура программы на Turbo Prolog’е
Оболочка системы Turbo Prolog
Отладка и трассировка программ
Работа с простейшими программами в Turbo Prolog’е
Работа с графикой в Turbo Prolog’е Среда разработки Visual Prolog
Интегрированная среда разработки
Разработка консольного проекта
Разработка GUI проекта на Visual Prolog’е Prolog — язык логического программирования
Системы основанные на знаниях
Логические модели и логическое программирование
Простейшие конструкции языка предикатов
Предикатные формулы
Определение правильно построенной формулы
Логический вывод
Решение задач и извлечение ответа Приложения
Запуск Turbo-Prolog в ОС Windows 7
Служебные предикаты Турбо-Пролога
Пример программы построения дерева синтаксического анализа
Библиографический список