> 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 -- http://mail.python.org/mailman/listinfo/python-list
