NEW: TermInterface for PrologList.

TermInterface now has PrologList protocol. The PrologList interface functions are complitely rewritten and better-made.