Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.

Содержание:
• Содержание - Программирование на языке Пролог (Prolog)
• Аннотация - Программирование на языке Пролог (Prolog)
• ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА - Программирование на языке Пролог (Prolog)
• ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ - Программирование на языке Пролог (Prolog)
• ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ - Программирование на языке Пролог (Prolog)
• ГЛАВА 1 ВВЕДЕНИЕ - Программирование на языке Пролог (Prolog)
• 1.1. Факты  - Программирование на языке Пролог (Prolog)
•  1.2. Вопросы - Программирование на языке Пролог (Prolog)
•  1.3. Переменные - Программирование на языке Пролог (Prolog)
•   1.4. Конъюнкции - Программирование на языке Пролог (Prolog)
• 1.5. Правила  - Программирование на языке Пролог (Prolog)
•   1.6. Заключение и упражнения  - Программирование на языке Пролог (Prolog)
•  ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ - Программирование на языке Пролог (Prolog)
•  2.1. Синтаксические правила - Программирование на языке Пролог (Prolog)
•   2.1.1. Константы - Программирование на языке Пролог (Prolog)
•   2.1.2. Переменные  - Программирование на языке Пролог (Prolog)
•   2.1.3. Структуры  - Программирование на языке Пролог (Prolog)
•  2.2.  Литеры - Программирование на языке Пролог (Prolog)
•   2.3. Операторы  - Программирование на языке Пролог (Prolog)
•  2.4. Равенство и установление соответствия - Программирование на языке Пролог (Prolog)
•   2.5. Арифметика  - Программирование на языке Пролог (Prolog)
•  2.6. Общая схема согласования целевых утверждений - Программирование на языке Пролог (Prolog)
•  2.6.1. Успешное доказательство конъюнкции целевых утверждений - Программирование на языке Пролог (Prolog)
•   2.6.2. Рассмотрение целевых утверждений при использовании механизма возврата - Программирование на языке Пролог (Prolog)
•   2.6.3. Установление соответствия - Программирование на языке Пролог (Prolog)
•  ГЛАВА 3.  ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ - Программирование на языке Пролог (Prolog)
•  3.1. Структуры и деревья - Программирование на языке Пролог (Prolog)
•  3.2. Списки - Программирование на языке Пролог (Prolog)
•  3.3. Принадлежность элементов списку - Программирование на языке Пролог (Prolog)
•  3.4. Пример: преобразование предложений - Программирование на языке Пролог (Prolog)
•   3.5. Пример: упорядочение по алфавиту  - Программирование на языке Пролог (Prolog)
•  3.6. Использование предиката присоединить и спецификация деталей - Программирование на языке Пролог (Prolog)
•  ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ - Программирование на языке Пролог (Prolog)
•   4.1. Порождение множественных решений  - Программирование на языке Пролог (Prolog)
•  4.2. Отсечение - Программирование на языке Пролог (Prolog)
•   4.3. Общие случаи использования отсечения  - Программирование на языке Пролог (Prolog)
•  4.3.1. Подтверждение правильности выбора правила - Программирование на языке Пролог (Prolog)
•   4.3.2. Комбинация «отсечение-fail»  - Программирование на языке Пролог (Prolog)
•  4.4. Проблемы, связанные с использованием отсечения - Программирование на языке Пролог (Prolog)
•  ГЛАВА 5 ВВОД И ВЫВОД - Программирование на языке Пролог (Prolog)
•  5.1.1. Вывод термов - Программирование на языке Пролог (Prolog)
•  5.1.2. Ввод термов - Программирование на языке Пролог (Prolog)
•  5.2. Ввод и вывод литер - Программирование на языке Пролог (Prolog)
•  5.2.1. Вывод литер - Программирование на языке Пролог (Prolog)
•  5.2.2. Ввод литер - Программирование на языке Пролог (Prolog)
•  5.3. Ввод предложений - Программирование на языке Пролог (Prolog)
•  5.4. Чтение файлов и запись в файлы - Программирование на языке Пролог (Prolog)
•  5.4.1. Запись в файлы - Программирование на языке Пролог (Prolog)
•  5.4.2. Чтение файлов - Программирование на языке Пролог (Prolog)
•  5.4.3. Ввод программ - Программирование на языке Пролог (Prolog)
•  5.5. Объявление операторов - Программирование на языке Пролог (Prolog)
•  ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ - Программирование на языке Пролог (Prolog)
•   6.1. Ввод новых утверждений  - Программирование на языке Пролог (Prolog)
• consult(X) - Программирование на языке Пролог (Prolog)
• reconsult(X) - Программирование на языке Пролог (Prolog)
• Списковая форма записи - Программирование на языке Пролог (Prolog)
•  6.2. Выполнение и невыполнение целевого утверждения - Программирование на языке Пролог (Prolog)
• true - Программирование на языке Пролог (Prolog)
• fail - Программирование на языке Пролог (Prolog)
•  6.3. Классификация термов - Программирование на языке Пролог (Prolog)
• var(X) - Программирование на языке Пролог (Prolog)
• nonvar(X) - Программирование на языке Пролог (Prolog)
• atom(X) - Программирование на языке Пролог (Prolog)
• integer(X) - Программирование на языке Пролог (Prolog)
• atomic(X) - Программирование на языке Пролог (Prolog)
•  6.4. Работа с утверждениями как с термами - Программирование на языке Пролог (Prolog)
• listing (A) - Программирование на языке Пролог (Prolog)
• clause(X, Y) - Программирование на языке Пролог (Prolog)
• asserta(X), assertz(X) - Программирование на языке Пролог (Prolog)
• retract(X) - Программирование на языке Пролог (Prolog)
•  6.5. Создание структур и работа с компонентами структур - Программирование на языке Пролог (Prolog)
• functor(T,F,N) - Программирование на языке Пролог (Prolog)
• arg(N,T,A ) - Программирование на языке Пролог (Prolog)
• X=..L - Программирование на языке Пролог (Prolog)
• name(А,L) - Программирование на языке Пролог (Prolog)
•   6.6. Воздействие на процесс возврата  - Программирование на языке Пролог (Prolog)
• Отсечение - Программирование на языке Пролог (Prolog)
• repeat - Программирование на языке Пролог (Prolog)
•  6.7. Формирование составных целевых утверждений - Программирование на языке Пролог (Prolog)
• Конъюнкция целей - Программирование на языке Пролог (Prolog)
• Дизъюнкция целей - Программирование на языке Пролог (Prolog)
• call(X) - Программирование на языке Пролог (Prolog)
• not(X) - Программирование на языке Пролог (Prolog)
•  6.8. Равенство - Программирование на языке Пролог (Prolog)
• X=Y - Программирование на языке Пролог (Prolog)
• X\=Y - Программирование на языке Пролог (Prolog)
• X==Y - Программирование на языке Пролог (Prolog)
• Х \== Y - Программирование на языке Пролог (Prolog)
•  6.9. Ввод и вывод данных - Программирование на языке Пролог (Prolog)
• get0(X) - Программирование на языке Пролог (Prolog)
• get(X) - Программирование на языке Пролог (Prolog)
• skip(X) - Программирование на языке Пролог (Prolog)
• read(X) - Программирование на языке Пролог (Prolog)
• put(X) - Программирование на языке Пролог (Prolog)
• nl - Программирование на языке Пролог (Prolog)
• tab(X) - Программирование на языке Пролог (Prolog)
• write(X) - Программирование на языке Пролог (Prolog)
• display(X) - Программирование на языке Пролог (Prolog)
• op(X,Y,Z) - Программирование на языке Пролог (Prolog)
•  6.10. Обработка файлов - Программирование на языке Пролог (Prolog)
• see(X) - Программирование на языке Пролог (Prolog)
• seeing(X) - Программирование на языке Пролог (Prolog)
• seen - Программирование на языке Пролог (Prolog)
• tell(X) - Программирование на языке Пролог (Prolog)
• telling (X)  - Программирование на языке Пролог (Prolog)
• told - Программирование на языке Пролог (Prolog)
•  6.11. Вычисление арифметических выражений - Программирование на языке Пролог (Prolog)
•  6.12. Сравнение чисел - Программирование на языке Пролог (Prolog)
•   6.13. Наблюдение за выполнением программы на Прологе - Программирование на языке Пролог (Prolog)
•  ГЛАВА 7. ЕЩЕ НЕСКОЛЬКО ПРИМЕРОВ ПРОГРАММ - Программирование на языке Пролог (Prolog)
•   7.1. Словарь в виде упорядоченного дерева  - Программирование на языке Пролог (Prolog)
•   7.2. Поиск в лабиринте  - Программирование на языке Пролог (Prolog)
•  7.3. Ханойские башни - Программирование на языке Пролог (Prolog)
•   7.4. Справочник комплектующих деталей  - Программирование на языке Пролог (Prolog)
•   7.5. Обработка списков  - Программирование на языке Пролог (Prolog)
•    7.6. Представление и обработка множеств - Программирование на языке Пролог (Prolog)
•   7.7. Сортировка  - Программирование на языке Пролог (Prolog)
•   7.8. Использование базы данных: random, генатом, найтивсе  - Программирование на языке Пролог (Prolog)
• Генератор случайных чисел (random) - Программирование на языке Пролог (Prolog)
• Генератор имен (генатом) - Программирование на языке Пролог (Prolog)
• Генератор списков структур (найтивсе) - Программирование на языке Пролог (Prolog)
•   7.9. Поиск по графу  - Программирование на языке Пролог (Prolog)
•   7.10. Просеивай Двойки, Просеивай Тройки  - Программирование на языке Пролог (Prolog)
•   7.11. Символьное дифференцирование  - Программирование на языке Пролог (Prolog)
•  7.12. Отображение структур и преобразование деревьев - Программирование на языке Пролог (Prolog)
•   7.13. Применение предикатов clause и retract  - Программирование на языке Пролог (Prolog)
•  ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ - Программирование на языке Пролог (Prolog)
•  8.1. Расположение текстов программ - Программирование на языке Пролог (Prolog)
•  8.2. Типичные ошибки - Программирование на языке Пролог (Prolog)
•  8.3.  Модель трассировки  - Программирование на языке Пролог (Prolog)
•  8.4. Трассировка и контрольные точки - Программирование на языке Пролог (Prolog)
• Выдача информации о цели - Программирование на языке Пролог (Prolog)
• Выдача информации о предшественниках - Программирование на языке Пролог (Prolog)
• Изменение уровня трассировки - Программирование на языке Пролог (Prolog)
• Вмешательство в процесс согласования цели - Программирование на языке Пролог (Prolog)
• Другие команды - Программирование на языке Пролог (Prolog)
• Заключение [Трассировка] - Программирование на языке Пролог (Prolog)
•  8.5. Фиксация ошибок - Программирование на языке Пролог (Prolog)
•  9.1. Проблема синтаксического анализа - Программирование на языке Пролог (Prolog)
•  9.2. Описание синтаксического анализа на языке Пролог - Программирование на языке Пролог (Prolog)
•  9.3. Запись грамматических правил в Прологе - Программирование на языке Пролог (Prolog)
•  9.4. Присоединение дополнительных аргументов - Программирование на языке Пролог (Prolog)
•  9.5. Введение дополнительных условий - Программирование на языке Пролог (Prolog)
•  9.6. Заключение - Программирование на языке Пролог (Prolog)
•  ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА - Программирование на языке Пролог (Prolog)
•  10.1. Краткое введение в исчисление предикатов - Программирование на языке Пролог (Prolog)
•  10.2. Приведение формул к стандартной форме - Программирование на языке Пролог (Prolog)
• Этап 1 - исключение импликаций и зквивалентностей - Программирование на языке Пролог (Prolog)
• Этап 2 - перенос отрицания внутрь формулы - Программирование на языке Пролог (Prolog)
• Этап 3 - сколемизация - Программирование на языке Пролог (Prolog)
• Этап 4 - вынесение кванторов общности в начало формулы - Программирование на языке Пролог (Prolog)
• Этап 5 - использование дистрибутивных законов для &и # - Программирование на языке Пролог (Prolog)
• Этап 6 - выделение множества дизъюнктов - Программирование на языке Пролог (Prolog)
•  10.3. Форма записи дизъюнктов - Программирование на языке Пролог (Prolog)
•  10.4. Принцип резолюций и доказательство теорем - Программирование на языке Пролог (Prolog)
•   10.5. Хорновские дизъюнкты  - Программирование на языке Пролог (Prolog)
•  10.6. Пролог - Программирование на языке Пролог (Prolog)
•  10.7. Пролог и логическое программирование - Программирование на языке Пролог (Prolog)
•  ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ - Программирование на языке Пролог (Prolog)
•  11.1. Простые проекты - Программирование на языке Пролог (Prolog)
•  11.2. Более сложные проекты - Программирование на языке Пролог (Prolog)
•    ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ - Программирование на языке Пролог (Prolog)
• Этап 1 - исключение импликаций - Программирование на языке Пролог (Prolog)
• Этап 2 - перенос отрицания внутрь формулы - Программирование на языке Пролог (Prolog)
• Этап 3 - сколемизация - Программирование на языке Пролог (Prolog)
• Этап 4 - вынесение кванторов общности в начало формулы - Программирование на языке Пролог (Prolog)
• Этап 5 - использование дистрибутивных законов для. &и # - Программирование на языке Пролог (Prolog)
• Этап 6 - выделение множества дизъюнктов - Программирование на языке Пролог (Prolog)
• Печать утверждений - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ - Программирование на языке Пролог (Prolog)
• Синтаксис - Программирование на языке Пролог (Prolog)
• Различные ограничения - Программирование на языке Пролог (Prolog)
• Возможности окружения - Программирование на языке Пролог (Prolog)
• Компиляция - Программирование на языке Пролог (Prolog)
• Специальные встроенные предикаты - Программирование на языке Пролог (Prolog)
• Средства отладки - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10 - Программирование на языке Пролог (Prolog)
• Пример сеанса работы - Пролог-10 - Программирование на языке Пролог (Prolog)
• Синтаксис - Пролог-10 - Программирование на языке Пролог (Prolog)
• Различные ограничения - Пролог-10 - Программирование на языке Пролог (Prolog)
• Возможности окружения - Пролог-10 - Программирование на языке Пролог (Prolog)
• Компиляция - Пролог-10 - Программирование на языке Пролог (Prolog)
• Различия во встроенных предикатах - Пролог-10 - Программирование на языке Пролог (Prolog)
• Дополнительные встроенные предикаты - Пролог-10 - Программирование на языке Пролог (Prolog)
• Средства отладки - Пролог-10 - Программирование на языке Пролог (Prolog)
• Литература - Пролог-10 - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ - Программирование на языке Пролог (Prolog)
• Пример сеанса работы - Микро Пролог - Программирование на языке Пролог (Prolog)
• Синтаксис - Микро Пролог - Программирование на языке Пролог (Prolog)
• Различные ограничения - Микро Пролог - Программирование на языке Пролог (Prolog)
• Возможности окружения - Микро Пролог - Программирование на языке Пролог (Prolog)
•   Специальные встроенные предикаты - Микро Пролог - Программирование на языке Пролог (Prolog)
• Средства отладки - Микро Пролог - Программирование на языке Пролог (Prolog)
• Литература - Микро Пролог - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ  [19]  - Программирование на языке Пролог (Prolog)
• Пример сеанса работы -МПролог - Программирование на языке Пролог (Prolog)
• Синтаксис - МПролог - Программирование на языке Пролог (Prolog)
• Модульность - МПролог - Программирование на языке Пролог (Prolog)
• Компоненты системы МПролог - Программирование на языке Пролог (Prolog)
• Различные ограничения - МПролог - Программирование на языке Пролог (Prolog)
• Дополнительные встроенные предикаты - МПролог - Программирование на языке Пролог (Prolog)
• Средства отладки - МПролог - Программирование на языке Пролог (Prolog)
• Литература - МПролог - Программирование на языке Пролог (Prolog)

Ну к чему такие сложности ? Не проще ли дать прямую ссылку на файл: http://gen.lib.rus.ec/get?md5=5c12ff39fd42...d850c0be96deb81