added javadoc and sources for the prolog library