Added functions variables, test_ask.

Corrected doctests for standardize_apart.

Preliminary doctest examples for fol_bc_ask.

Corrected error in the 'literals' function.

In class FolKB, added doctest examples; added definition
of method ask_generator.

Added functions pretty, pretty_dict, pretty_set, pp;
redefined ppdict, ppset, using pretty_dict and pretty_set.

Cleaned up code, simplifying statements and comments.