protected void showProg(Sexp prog, JTextArea intmsg) {
if (!prog.isNull()) {
intmsg.append(prog.car() + "\n");
showProg(prog.cdr(), intmsg);
}
}
protected void run() {
if (!goal.isNull()) eval(prog);
else compileGoal(true);
}