[Code]
After the ALE program compiles without any error messages, it is
possible to test the program to make sure it does what it is supposed
to. We consider the problem from the bottom-up, as this is the best
way to proceed in testing grammars. ALE does not have a
sophisticated input/output package, and thus all ALE procedures
must be accessed through Prolog queries.