TODO

   1 Enhancements to pa_goal:
   2
   3  - Include the goal name, source file location in the generated
   4    rule so we can improve error messages.
   5
   6  - Implement some sort of tracing based on the above.