Une explication sur amb ?

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Une explication sur amb ?

Chronoklazm

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

Publicité

jeeve

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:

FORUM HardWare.fr

Programmation

Divers

Une explication sur amb ?

Sujets relatifs
char a=(char )(0xAdresse) explication	Explication HTML
call : documentation / explication ?	Petite explication pour un débutant...
Explication d'une notation AMC Designer	Gtkmm Demande d'explication / Lien pour un cours de C++
explication de bloc "static" en java	explication
Explication de code	[C++] effective C++ (regle 34) (need explication)
Plus de sujets relatifs à : Une explication sur amb ?

Page générée en 0.031 secondes