EDIT: PrologAtom unifying method.

EDIT: PrologString output method.