ОГЛАВЛЕНИЕ

Обложка

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

Предисловие

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

ЧАСТЬ 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.  Добавление элемента