(thing) by foxfire Fri Oct 04 2002 at 5:44:04

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).

del.icio.us Facebook Digg StumbleUpon Reddit (I like it!)
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.