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

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

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

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

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