Fold -- applies a function to an expression and returns the accumulation of all the values. If the atom in the expression is an expression in the case of nested expressions, it is bypassed aggregating only grounded values. ** more ** description to follow...