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

• 4.3.1 Amb и search

• 4.3.2 Примеры недетерминистских программ

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