Example of a Reflective Action

Action: 


||bind "x" to 55
|hence
||give closure (abstraction of give successor(the integer bound to "x"))
then
|enact the given abstraction
Informal description:

Incomplete...

Try this action using Java ANI.

RAT| People

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