Програмиране на "Пролог"

Основи и приложения

Д. Дочев, Х. Дичев, З. Марков, Г. Агре

За особеностите на екземпляра

Състояние:: Много добро
Забележка:: Дребни забележки по корицата.
Наличност:: 1 бр. - в това състояние и цена в този щанд. Други екземпляри от книгата

За изданието

Издателство:: Наука и изкуство
Град на издаване:: София
Година:: 1989 г.
Език:: Български
Страници:: 247
Корици:: Меки
Художник:: Мария Кънчева
Категория:: Компютри, софтуер, интернет
Формат:: 60/90/16
Ширина (мм):: 142
Височина (мм):: 215
Дебелина (мм):: 12

В книгата са застъпени широк кръг въпроси, засягащи програмирането, логическите основи и реализацията на езика за логическо програмиране ПРОЛОГ. След систематичното изложение на синтаксиса и семантиката на езика са разгледани подробно на базата на примери някои от типичните приложения на ПРОЛОГ. Обсъдени са теоретичните основи на езика (връзката му с формална логика) и алгоритмичните концепции, използувани при реализацията му Подробно е описана авторската версия на езика КСИ-ПРОЛОГ Книгата може да се използува при обучение по програмиране на ПРОЛОГ, за запознаване с възможностите за практическо използуване на езика, както и като ръководство по програмиране на КСИ-ПРОЛОГ. Та с адресирана към широк кръг читатели, интересуващи се от приложението на компютрите при решаване на нечислови задачи. както и към специалисти от областта на информатиката и изкуствения интелект •••••••••••••• СЪДЪРЖАНИЕ ГЛАВА І ПРЕДГОВОР. ОСНОВИ НА ПРОГРАМИРАНЕТО НА ПРОЛОГ 1.1. Основни понятия на езика 1.1.1. Факти. 1.1.2. Въпроси. 1.1.3. Променливи. 1.1.4. Конюнкции 1.1.5. Правила. 1.1.6. Механизъм за възврат 1.1.7. Рекурсия 1.2. Синтаксис и семантика на ПРОЛОГ. 1.2.1. Информационни обекти. 1.2.1.1. Символи 1.2.1.2. Терми. 1.2.2. Съпоставяне на терми. 1.2.3. Общ вид на програма на ПРОЛОГ. 1.2.4. Операторни терми. 1.2.5. Двойствена семантика на ПРОЛОГ. 1.2.5.1. Декларативна семантика 1.2.5.2. Процедурна семантика. Задачи. 1.3. Списъци . 1.3.1. Синтаксис и семантика 1.3.2. Примери за използуване на списъци 1.3.2.1. Принадлежност към списък. 1.3.2.2. Свързване на списъци. 1.4. Вградени предикати 1.4.1. Вградени предикати и странични ефекти 1.4.2. Управляващи предикати 1.4.3. Проверка на терми и работа със структури. 1.4.3.1. Определяне типа на терм. 1.4.3.2. Дефиниране на оператори. 1.4.3.3. Преобразуване на атоми в списъци 1.4.3.4. Работа със структури. 1.4.4. Предикати за работа с базата от данни 1.4.4.1. Търсене на предикати в базата от данни 1.4.4.2. Добавяне на клаузи в базата от данни . 1.4.4.3. Изтриване на клаузи в базата от данни. 1.4.5. Предикати за аритметични изрази. 1.4.5.1. Използуване на аритметични изрази. 1.4.5.2. Отношения между аритметични изрази. 1.4.6. Предикати за вход/изход 1.5. Характерни приложения на списъци 1.5.1. Често използувани операции със списъци. 1.5.1.1. Дължина на списък 1.5.1.2. Изтриване на елементи 1.5.1.3. Подсписъци 1.5.1.4. Преобразуване на списък в структура 1.5.1.5. Теоретико-множествени операции. 1.5.2. Сортиране 1.5.2.1. Сортиране по "метода на мехурчето" 1.5.2.2. Сортиране чрез вмъкване. 1.5.2.3. Бърз метод за сортиране 1.5.3. Интерпретатор на ПРОЛОГ Задачи. 1.6. Практика на програмирането на ПРОЛОГ. 1.6.1. Специфика на програмирането на ПРОЛОг. 1.6.2.Похвати при програмиране на ПРОЛОГ 1.6.3. Стил на програмиране на ПРОЛОГ. 1.6.3.1. Оформяне на програмите 1.6.3.2. Модулност на програмите. 1.6.3.3. Особености при използуване на някои вградени преди. кати 1.6.4. Тестване и отстраняване на грешки. Литература. ГЛАВА 2 ТИПИЧНИ ПРИЛОЖЕНИЯ НА ЕЗИКА ПРОЛОГ. 2.1. Алгоритми за търсене на път в графи 2.1.1. Пространство на състоянията. 2.1.2. Търсене в дълбочина. 2.1.3. Търсене в ширина. 2.1.4. Търсене на най-добър път в граф Задачи. Литература 2.2. Аналитични преобразувания. 2.2.1. Символно диференциране. 2.2.2. Опростяване на изрази Задачи Литература. 2.3. Експертни системи 2.3.1. Основна структура на ЕС. 2.3.2. Представяне на знания 2.3.3. База от знания. 2.3.4. Създаване на ядро на ЕС. 2.3.4.1. Машина за извод (предикат докажи). 2.3.4.2. Интерфейс с потребителя. 2.34.3. Управляващ предикат експерт 2.3.44. Недостатъци на разгледания вариант на ЕС. 2.3.5. Обработка на несигурни данни. 2.3.5.1. Обработка на несигурни данни в EC PROSPECTOR 2.3.5.2. Примерна реализация. Задачи Литература. 24. Планиращи системи. 2.4.1. Планиране на действия. Постановка на задачата 2.4.2. Примерна реализация на проста планираща система и език и ПРОЛОГ 24.1. Оптимизация на плана за действие 2.4.4. Йерархични системи за планиране. 2.4.5. Формален подход за построяване на планираща система на ПРОЛОГ Задачи Литература. 2.5. Геометрично моделиране 2.5.1. Използуване на езика ПРОЛОГ за машинна графика. 2.5.2. Функционално представяне 2.5.3. Предикатно представяне. Задачи Литература. ГЛАВА З ТЕОРЕТИЧни основи НА ПРОЛОГ 3.1. Основни понятия на предикатното смятане от първи ред. 3.2. Клаузна форма. 3.3. Метод на резолюцията. 3.4. Преход към ПРОЛОГ 3.5. Логическо програмиране и ПРОЛОГ. Задачи Литература ГЛАВА 4 ПРОЦЕДУРНА ИНТЕРПРЕТАЦИЯ И РЕАЛИЗАЦИЯ НА ПРОЛОГ 41 Процедурна интерпретация на ПРОЛОГ. 4.2 Компилация и интерпретация 43. Блоков модел на предикатите. 4.4. Структури от данни и унификация. Задачи 45. Реализация на блоковия модел на предикатите 4.6. Интерпретатор на ПРОЛОГ. Литература. ГЛАВА 5 ПРОГРАМИРАНЕ НА КСИ-ПРОЛОГ 5.1. Средства за улесняване на разработката на програми 5.1.1. Редактиране на програми 5.1.2. Средства за тестване на програми. 5.1.3. Прекъсване на изпълнението на програмите 5.1.4. Използуване на входния буфер на операционната система 5.2. Интерфейсни възможности 5.2.1. Промени в синтаксиса. 5.2.2. Контрол на синтактичните грешки 5.2.3. Работа с текстови файлове. 5.2.4. Връзка с операционната система. 5.2.5. Атрибути на текста и прозорци 5.2.6. Графика. 5.2.7. Предикати за работа с паметта 5.3. Системни възможности 5.3.1. Организация на виртуална база от данни 5.3.2. Съхраняване на базата от данни в компилиран вид. 5.3.3. Параметри на КСИ-ПРОЛОГ Литература. АЗБУЧЕН УКАЗАТЕЛ БЪЛГАРО-АНГЛИЙСКИ ТЕРМИНОЛОГИЧЕН РЕЧНИК.