Also known as amb, the angelic operator is one which is able to non-deterministically pick one of its arguments such that the program as a whole completes without error or with the desired result.

Angelic because the operator acts with an apparent knowledge of the outcome of each choice, giving it the forethought to choose correctly, nudging the program towards the result.

This operator can actually be implemented in languages with continuations (Scheme and friends).

Log in or registerto write something here or to contact authors.