Prototype Unfolder

Usage: Select the iteration number you want to see (1-8) in the selector below, type the rules to be tested in the format shown (or select an example from the example selector) and then press 'Execute unfolding'.
Rules: rule(<Function name>,<Pattern list>,<Guard or _ if none>,<Body>,[ ],[rule('Name')] or [ ] for anonymous rules).


                              Example:

Output