Une explication sur amb ?

Marsh Posté le 08-12-2004 à 16:27:09

Bon alors voilà, je pense qu'il n'y a pas une grande majorité de personnes qui font du scheme ici, mais on ne sait jamais.

Je ne comprend pas grand chose a cette macro :

Code :

(define-syntax amb
(syntax-rules ()
((amb e ...)
(let ((+prev-amb-fail amb-fail))
(call/cc
(lambda (+sk)
(call/cc
(lambda (+fk)
(set! amb-fail
(lambda ()
(set! amb-fail +prev-amb-fail)
(+fk 'fail)))
(+sk e)))
...
(+prev-amb-fail)))))))

Je sais qu'elle permet de faire du backtracking sur n'importe quoi en utilisant les continuations mais ca reste quand même tres vague ...

Plz help :hello:

Message cité 1 fois

Marsh Posté le 08-12-2004 à 16:27:09

Marsh Posté le 17-03-2009 à 16:33:40

voici un petit exemple en DrScheme pour illustrer le fonctionnement :

Code :

;; Inspired by:
;; http://web.engr.oregonstate.edu/~e [...] _JFP04.pdf
;; http://web.engr.oregonstate.edu/~erwig/zurg/
;;
;; amb stuff
;; http://mitpress.mit.edu/sicp/full- [...] ode88.html
;; http://docs.mandragor.org/files/Pr [...] sch016.htm
;;
(require (planet "amb.scm" ("wmfarr" "amb.plt" 1 0)))
(amb-collect
(let ((x (amb 1 2 3 4 5 12))
(y (amb 6 7 8 9 10 3)))
(if (not (= (+ x y) 15))
(amb)
(cons x y))))

qui fourni : ((5 . 10) (12 . 3))

Chronoklazm a écrit :

Bon alors voilà, je pense qu'il n'y a pas une grande majorité de personnes qui font du scheme ici, mais on ne sait jamais.

Je ne comprend pas grand chose a cette macro :

Code :

(define-syntax amb
(syntax-rules ()
((amb e ...)
(let ((+prev-amb-fail amb-fail))
(call/cc
(lambda (+sk)
(call/cc
(lambda (+fk)
(set! amb-fail
(lambda ()
(set! amb-fail +prev-amb-fail)
(+fk 'fail)))
(+sk e)))
...
(+prev-amb-fail)))))))

Je sais qu'elle permet de faire du backtracking sur n'importe quoi en utilisant les continuations mais ca reste quand même tres vague ...

Plz help :hello:

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed

Name *

Email *

URL

Message *