Введение. Методические указания к лабораторным работам

РАЗРАБОТКА И ОТЛАДКА ПРОГРАММ

НА ЯЗЫКЕ ТУРБО-ПРОЛОГ

 

 

Методические указания к лабораторным работам

по дисциплине

«Языки программирования задач искусственного интеллекта»

 

 

Москва 2011

 

Составители к.т.н., доцент А.С.Топоркова, Т.И. Полятыкина

 

 

УДК 519.682

 

Разработка и отладка программ на языке Турбо-Пролог: Методические указания к лабораторным работам по дисциплине «Языки программирования задач искусственного интеллекта»/ Московский государственный институт электроники и математики.

Составители к.т.н., доцент А.С.Топоркова, Т.И. Полятыкина. М., 2011. 50с.

 

 

Основным содержанием указаний является ознакомление с принципами разработки и отладки программ в системе Турбо-Пролог.

Для студентов IV курса специализации «Автоматизация и интеллектуализация процессов обработки информации и управления» специальности – «Автоматизированные системы обработки информации и управления».

 

SBN

Содержание

Введение
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. Базы данных
Задачи для лабораторных работ по дисциплине ЯПЗИИ
Библиографический список  
           

 

Введение

В последние годы возрос интерес к работам по искусственному интеллекту, особенно к практическому воплощению результатов этих работ в экспертных системах. Большую популярность в этом направлении приобрел язык логиче­ского программирования Пролог, основанный на самой старой модели представления знаний – исчислении предикатов первого порядка. Само название Пролог (PROgramming in LOGic) есть сокращение, означающее программирование на языке логики.

Начало истории языка относится к 1970-м годам. Будучи декларативным языком программирования, Пролог воспринимает в качестве программы некоторое описание задачи или базы знаний и сам производит логический вывод, а также поиск решения задач, пользуясь механизмом поиска с возвратом и унификацией.

Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логического вывода и принятия решений.

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

Особую роль в интерпретаторе Пролога играют конкретные запросы к базам знаний, на которые система логического программирования генерирует ответы «истина» и «ложь». Для обобщённых запросов с переменными в качестве аргументов Пролог выводит конкретные данные в подтверждение истинности обобщённых сведений и правил вывода.

Факты в базах знаний на языке Пролог представляют конкретные сведения (знания). Обобщённые сведения и знания в языке Пролог задаются правилами логического вывода (определениями) и наборами таких правил вывода (определений) над конкретными фактами и обобщёнными сведениями.

В настоящее время существует большое количество версий языка Пролог: Turbo Prolog, Visual Prolog, GNU Prolog, Quintus, SICStus, SWI-Prolog, YAP.