4. Метаязыковая абстракция

• 4.1. Метациклический интерпретатор

• 4.2. Scheme с вариациями: ленивый интерпретатор

• 4.3. Scheme с вариациями — недетерминистское вычисление

• 4.4. Логическое программирование