Книга известных английских специалистов является доступным введением в новую отрасль программирования - логическое программирование с использованием языка Пролог, реализованного на микро-ЭВМ. Рассмотрены основные возможности и приёмы логического программирования, средства Пролога и методы их применения. Описан стандартный синтаксис языка микро-Пролог. Показано применение логического программирования и Пролога к таким задачам, как анализ критического пути в графе, создание экспертных систем, программирование игр и разработка систем для решения задач.
Для широкого круга программистов.
Author(s): Кларк К., Маккейб Ф.
Publisher: Радио и связь
Year: 1987
Language: Russian
Pages: 313
Tags: Информатика и вычислительная техника;Устаревшие материалы;
Предисловие к русскому изданию
Предисловие
Введение
Основные понятия
Факты и запросы
Правила
Списки
Логическое программирование на микро-Прологе
Сложные условия в запросах и правилах
Работа со списками
Введение в грамматический анализ
Некоторые практические соображения
Металогическое программирование
Штатный микро-Пролог
Стандартный синтаксис микро-Пролога
Приложения микро-Пролога
Программа анализа критического пути
Микро-Пролог в экспертных системах
Логика игр двух партнёров
Микро-Пролог для решения задач
Ответы к упражнениям
