ADD: PrologArguments.

A PrologArgument is a vector of PrologTerms. It has all functions necessary: generating, outputing, evaluating, creating.