Das Problem ist, dass ich halt nur den Term umwandeln möchte. Wenn ich das Programm im Link richtig verstanden habe dann rechnet es den Term diereckt aus...
Meine Facharbeit behandelt das Thema UPN weswegen ich ein Programm haben möchte was einen UPN Term ausrechnet. Das habe ich auch schon erreicht, es fehlt wie gesagt nur noch die Umwandlung in einen UPN Term.