improving translation to prolog; restoring terms from prolog output; adding tracing support
improving translation to prolog; restoring terms from prolog output; adding tracing support

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle