Hi,
wenn ich amb-collect in der Form

(amb-collect
(let ((a (amb *eineListe*)…..

benutze, durchläuft a nicht die Listenelemente als mögliche Werte
- dies hätte ich aber gern erreicht -,
sondern es wird quasi die Liste selber als einziger möglicher Wert für
a interpretiert.

Kann man hier elegant Abhilfe schaffen, d.h. a die Elemente einer
bekannten Liste durchlaufen lassen, ohne die Listenelemente aufzuzählen?

danke

Ich sag mal spontan: (apply amb *eineListe*)

(apply amb *eineListe*)

Geht nicht, m.E. weil amb ein Makro und keine Funktion ist.

Auf http://planet.racket-lang.org/ habe ich jetzt aber unter
"Data Structures and Algorithms" einige Bibliotheken gefunden,
die ein entsprechendes "amb-list" zur Verfügung stellen.
Implementation muss ich mir noch näher ansehen.