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

• 4.3.1. Amb и search

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

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