> 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
