Example of a Recursive Action


Action:


recursively
|||bind "x" to closure abstraction of (give successor(the datum bound to "y"))
||moreover
|||bind "y" to 4
|hence
||enact the abstraction bound to "x"


Informal description:

Incomplete...

Try this action using Java ANI.


RAT| People

[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]