4.4. Логическое программирование
4.4.4. Реализация запросной системы
-
4.4.4.1. Управляющий цикл и конкретизация
-
4.4.4.2. Вычислитель
-
4.4.4.3. Поиск утверждений с помощью сопоставления с образцом
-
4.4.4.4. Правила и унификация
-
4.4.4.5. Ведение базы данных
-
4.4.4.6. Операции над потоками
-
4.4.4.7. Процедуры, определяющие синтаксис запросов
-
4.4.4.8. Кадры и связывания
Комментарии отсутствуют.