Вперёд >>>
Иван Братко
Программирование на языке Пролог для искусственного интеллекта
Перевод с английского.
Москва, 'МИР', 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. Перестановки
