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.
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]