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

4.3.3 Реализация amb-интерпретатора

Упражнения:

• 4.50 . Особая форма ramb
• 4.51 . Присваивание permanent-set!
• 4.52 . Конструкция if-fail
• 4.53 . Результат вычисления
• 4.54 . Процедура analyze-require