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. Кадры и связывания