Wstęp do logicznego programowania w mikroprologu
- Pruszków, mazowieckie
- 09 Wrz 12:32
- Nr ogłoszenia: 68765384
- Dostępność: dostępne
1 / 2
Obserwuj
- Oferta od osoby prywatnej
- Stan używane
- Okładka twarda
- Tematyka pozostała
10, II, 15, 13, IT, IP, Le, 1А, 118, 118 50
e
8
G
CW I
IWN
வ
e
მ
По
IJ IS
ОГЛАВЛЕНИЕ
Предисловие к русскому изданию. Предисловие. Введение
...
В.1. Зачем нужно программирование на микро-Прологе В.2. Описание глав
ЧАСТЬ I. ОСНОВНЫЕ ПОНЯТИЯ.
К. Л. Кларк, Дж. Р. Энналс, Ф. Г. Маккейб
Глава 1. Факты и запросы
1.1. Создание базы данных из фактов. 1.2. Запросы
....
1.3. Арифметические отношения.
1.4. Выполнение запросов.
1.5. Эффективные запросы
31
ד שפיר
Глава 2. Правила. .
2.1. Превращение запросов в правила.
2.2. Как ищутся ответы на запросы, связанные с правилами 2.3. Рекурсивные описания отношений.
Глава 3. Списки
13 Itѕ, РП 2 сек 1 8, 10, 50, 5Г. 5/5. 5/3
5.2. Правила, в которых используется отношение "соединение"
5.3. Рекурсивное определение отношения сортированности 5.4. Списочные функции.
Глава 6. Введение в грамматический анализ.
SN
$2
6.1. Грамматический анализ предложений, представленных как списки
слов
....
6.2. Другая программа грамматического анализа 6.3. Общий подход к использованию разностных пар
Глава 7. Некоторые практические соображения
7.1. Ограничение условия одним решением
7.2. Управление поиском с возвратом с помощью условия "/" 7.3. Стек запроса и экономия памяти.
7.4. Остаточно-рекурсивные определения 7.5. Использование модулей
Глава 8. Металогическое программирование
8.1. Имена отношений и списки аргументов как переменные 8.2. Метапрограммы для проверки условий применения. 8.3. Программы обработки других программ
8.4. Унарные отношения как команды.
и
ЧАСТЬ III. ШТАТНЫЙ МИКРО-ПРОЛОГ.
К. Л. Кларк, Ф. Г. Маккейб
. 139
.143
. 147
. 148
149
153
157
159
159
162
165
167
170
174
175
179
180
188
198
98
3.1. Списки как объекты
N
3.2. Доступ к элементам списка фиксированной длины 3.3. Доступ к элементам списка неизвестной длины. 3.4. Длина списка.
3.5. Наборы ответов как списки.
ЧАСТЬ II. ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ НА МИКРО-ПРОЛОГЕ.. К. Л. Кларк, Ф. Г. Маккейб
Глава 4. Сложные условия в запросах и правилах
4.1. Отрицающие условия
4.2. Условие список-всех
4.3. Условие для всех
4.4. Условие или .
..
4.5. Условия с выражениями
310
Глава 9. Стандартный синтаксис микро-Пролога 9.1. Атомы и предложения
198
. 199
9.2. Программирование по правилам стандартного синтаксиса 9.3. Преобразование высказываний в предложения .
. 201
..206
. 209
.216
9.4. Метапеременные в программах при стандартном синтаксисе. 9.5. Примитив CL доступа к предложениям.
ЧАСТЬ IV. ПРИЛОЖЕНИЯ МИКРО-ПРОЛОГА.
Глава 10. Программа анализа критического пути Ф. Кривачек
103
10.1. Постановка задачи.
4.6. Формулирование запросов пользователю
с помощью условия с
общено.
196
4.7. Комментирующие условия
133
10.2. Определение понятий на микро-Прологе 10.3. Использование лемм
... .
10.4. Программа анализа критического пути Глава 11.1. Микро-Пролог в экспертных системах П. Хаммонд
. 219
. 219
220
222
. 228
. 231
233
11.1. Введение
233
11.2. Экспертная система MYCIN
•
233
11.3. Представление знаний на микро-Прологе
235
311
KArton 219
Skontaktuj się
Henryk
Liczba odsłon: 63
Zgłoś nadużycie
298,88 zł
