Кларк Кейт Л.

Ⓐ ⒸКларк К... Введение в логическое программирование на микро-Прологе. (Micro-Prolog: Programming in Logic) [Djv-Fax-13.1M] Авторы: К. Кларк, Ф. Маккейб. Перевод с английского А.И. Горлина. Под редакцией В.В. Мартынюка. Производственное издание.
(Москва: Издательство «Радио и связь». Редакция переводной литературы, 1987)
Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2014

КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие к русскому изданию (5).
Предисловие (8).
Введение (10).
Часть I. ОСНОВНЫЕ ПОНЯТИЯ (18).
Глава 1. Факты и запросы (18).
Глава 2. Правила (54).
Глава 3. Списки (79).
ЧАСТЫ II. ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ НА МИКРО-ПРОЛОГЕ (102).
Глава 4. Сложные условия в запросах и правилах (102).
Глава 5. Работа со списками (135).
Глава 6. Введение в грамматический анализ (148).
Глава 7. Некоторые практические соображения (159).
Глава 8. Металогическое программирование (174).
Часть III. ШТАТНЫЙ МИКРО-ПРОЛОГ (198).
Глава 9. Стандартный синтаксис микро-Пролога (198).
Часть IV. ПРИЛОЖЕНИЯ МИКРО-ПРОЛОГА (219).
Глава 10. Программа анализа критического пути (219).
Глава 11. Микро-Пролог в экспертных системах (233).
Глава 12. Логика игр двух партнеров (253).
Глава 13. Микро-Пролог для решения задач (269).
Ответы к упражнениям (288).

ИЗ ИЗДАНИЯ: Книга известных английских специалистов является доступным введением в новую отрасль программирования - логическое программирование с использованием языка Пролог, реализованного на микро-ЭВМ. Рассмотрены основные возможности и приемы логического программирования, средства Пролога и методы их применения. Описан стандартный синтаксис языка микро-Пролог. Показано применение логического программирования и Пролога к таким задачам, как анализ критического пути в графе, создание экспертных систем, программирование игр и разработка систем для решения задач.
Для широкого круга программистов.