Иван Братко - Программирование на языке Пролог для искусственного интеллекта

Вперёд >>>

Иван Братко

Программирование на языке Пролог для искусственного интеллекта

Перевод с английского.

Москва, "МИР", 1990      подробнее...

Электронную версию книги создал Иванов Виктор Михайлович. Книга размещена на сайте http://dstu2204.narod.ru/   ( на этой странице ).

ОГЛАВЛЕНИЕ

Обложка

От редактора перевода

Предисловие

Предисловие автора

ЧАСТЬ 1. ЯЗЫК ПРОЛОГ

Глава 1.  Общий обзор языка Пролог

1.1.  Пример программы: родственные отношения

1.2.  Расширение программы-примера с помощью правил

1.3.  Рекурсивное определение правил

1.4.  Как пролог-система отвечает на вопросы

1.5.  Декларативный и процедурный смысл программ

Глава 2.  Синтаксис и семантика пролог-программ

2.1.  Объекты данных

2.1.1.  Атомы и числа

2.1.2.  Переменные

2.1.3.  Структуры

2.2.  Сопоставление

2.3.  Декларативный смысл пролог-программ

2.4.  Процедурная семантика

2.5.  Пример: обезьяна и банан

2.6.  Порядок предложений и целей

2.6.1.  Опасность бесконечного цикла

2.6.2.  Варианты программы, полученые путем переупорядочивания предложений и целей

2.6.3.  Сочетание декларативного и процедурного подходов

2.7.  Замечания о взаимосвязи между Прологом и логикой

Глава 3.  Списки. Операторы. Арифметика

3.1.  Представление списков

3.2.  Некоторые операции над списками

3.2.1.  Принадлежность к списку

3.2.2.  Сцепление ( конкатенация)

3.2.3.  Добавление элемента

3.2.4.  Удаление элемента

3.2.5.  Подсписок

3.2.6.  Перестановки

3.3.  Операторная запись (нотация)

3.4.  Арифметические действия

Глава 4.  Использование структур: примеры

4.1.  Получение структурированной информации из базы данных

4.2.  Абстракция данных

4.3.  Моделирование недетерминированного автомата

4.4.  Планирование поездки

4.5.  Задача о восьми ферзях

4.5.1.  Программа 1

4.5.2.  Программа 2

4.5.3.  Программа 3

4.5.4.  Заключительные замечания

Глава 5.  Управление перебором

5.1.  Ограничение перебора

5.1.1.  Эксперимент 1

5.1.2.  Эксперимент 2

5.2.  Примеры, использующие отсечение

5.2.1.  Вычисление максимума

5.2.2.  Процедура проверки принадлежности списку, дающая единственное решение

5.2.3.  Добавление элемента к списку, если он в нем отсутствует (добавление без дублирования)

5.2.4.  Задача классификации объектов

5.3.  Отрицание как неуспех

5.4.  Трудности с отсечением и отрицанием

Глава 6.  Ввод и вывод

6.1.  Связь с файлами

6.2.  Обработка файлов термов

6.2.1.  reаd  и  write

6.2.2.  Вывод списков

6.2.3.  Формирование термов

6.2.4.  Обработка произвольного файла термов

6.3.  Обработка символов

6.4.  Создание и декомпозиция атомов

6.5.  Ввод программ: consult,   reconsult

Глава 7.  Другие встроенные процедуры

7.1.  Проверка типов термов

7.1.1.  Предикаты  var,  nоnvar,  atom,  integer,  atomic

7.1.2.  Решение числового ребуса с использованием   nonvar

7.2.  Создание и декомпозиция термов : = ..; functor, arg, name

7.3.  Различные виды равенства

7.4.  Работа с базой данных

7.5.  Средства управления

7.6. bagof, setof и findall

Глава 8.  Стиль и методы программирования

8.1.  Общие принципы хорошего программирования

8.2.  Как представлять себе программы на Прологе

8.2.1.  Использование рекурсии

8.2.2.  Обобщение

8.2.3.  Использование рисунков

8.3.  Стиль