Example of a Reflective Action

Action: 


|bind "x" to 2 moreover bind "p" to abstraction of give successor(1)
hence
|enact the abstraction bound to "p"
Informal description:

Incomplete...

Try this action using Java ANI.

RAT| People

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