Is anyone familiar with the AMB project, installable from SqMap catalog?
I got excited by the description's assertion that "it can do incredible
things" (it even provided an example. After reading the description, tests,
code, and references, I have an inkling what it does, but don't quite
understand what is "incredible" about it and don't want to miss the magic!!
The catalog description is:
This is the "ambigous", "nondeterminist", "angelic" operator aka amb
... more seriously described as a declarative control flow statement able to
enumerate over finite domains all values that make a program terminate. It
uses continuations to walk the tree of possible tuples, backtracking when
the program fails.
The amazing thing is the simplicity of the code: four short or very short
methods on the instance side, the class side methods only providing