removed tuprolog and tuprolog javadoc.