NEW: TermInterface protocol for PrologString.