Load the interpreter under prolog [induced_tp] and query go(File,Goal)

Here are a few examples of running the interpreter:

• program: rotate and calls/answers: rotate.conc
• program: ackermann and calls/answers: ackermann.conc