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