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

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

Упражнения:

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

Показать кто завершил