ported ipw test, ppr test, goal test; fixed assoc. bugs
docs; cleaned out tuprolog tests; graph modifications in prep for sparse graph port