dicts + amb

[Diez B. Roggisch]

> Something unrelated that I don't know where to put.
> Recently I have seen the amb operator, it's not a simple operator. I
> have seen a (very simple) Ruby implementation:
> http://www.randomhacks.net/articles/2005/10/11/amb-operator
> I think a good amb implementation is a very complex thing. Can such
> operator be useful for Python too?

You might consider researching ALMA, a constraint-imperative programming 
language that allows for program execution to be rolled-back to 
so-called choicepoints. It heavily reminds me of that amb-operator of 
yours.

Diez