NEW: Term Interface protocol for PrologArguments.