EDIT: PrologAtom refined again.

Because of the constantly changing TermInterface protocol, all Prolog Terms must be changed. The Prolog Atom is now in a stable condition.