This code illustrates unification (using destructive pointer update) in the presence of parameters. Author: Frank Pfenning Spring 1998 Updated Fall 1999