-- Added support for finding predicate arguments and building atom
terms.

Signed-off-by: Mark Farrell<markfarr2011@gmail.com>