NEW: TermInteface protocol for PrologFact.

The PrologFact functions are now as simple as possible. The use PrologAtom and PrologArguments functions for everything.