In на этой странице есть комментарий после сообщения, в котором дается очень короткая реализация amb
как процедуры:
(define (amb-backtrack)
(error "no solution found"))
(define (amb . args)
(call/cc (lambda (return)
(let ((backtrack amb-backtrack))
(map (lambda (x)
(call/cc (lambda (k)
(set! amb-backtrack k)
(return x))))
args)
(backtrack 'fail)))))
Но я обычно вижу amb
, реализованный как макрос - в FAQ schemers.org, а также в книге Дораи Ситарам :
(define amb-fail '*)
(define initialize-amb-fail
(lambda ()
(set! amb-fail
(lambda ()
(error "amb tree exhausted")))))
(initialize-amb-fail)
(define-macro amb
(lambda alts...
`(let ((+prev-amb-fail amb-fail))
(call/cc
(lambda (+sk)
,@(map (lambda (alt)
`(call/cc
(lambda (+fk)
(set! amb-fail
(lambda ()
(set! amb-fail +prev-amb-fail)
(+fk 'fail)))
(+sk ,alt))))
alts...)
(+prev-amb-fail))))))
Итак, макро-версия длиннее, и ее немного сложнее понять. Я не видел никаких преимуществ перед версия процедуры, и, конечно, я бы предпочел использовать процедуру, чем макрос.Я что-то пропустил?