Definitely. For anybody interested, http://mitpress.mit.edu/sicp/full-text/sicp/book/node90.html http://mitpress.mit.edu/sicp/full-text/sicp/book/node90.html o

Definitely. For anybody interested, http://mitpress.mit.edu/sicp/full-text/sicp/book/node90.html http://mitpress.mit.edu/sicp/full-text/sicp/book/node90.html offers a nice introduction to the amb operator. One issue that I found when solving problems like this is that, to achieve speed, it can become necessary to use many nested lets. That could hurt readability. Nobody wants to see a line of code nested 20 tabs deep!